This file can be used to add scheduled events to your calendar, however every program is unique. Below you will find what information is available, but if nothing else works try creating a new calendar in your program and using
http://math.colorado.edu/seminars/ics/allo.ics
as the source.
Thunderbird
The Algebra and Logic seminar is a research and learning seminar organized by the algebra and logic research group of the Department of Mathematics at the University of Colorado at Boulder. The scope of the seminar includes all topics with links to algebra, logic, or their applications, like general algebra, logic, model theory, category theory, set theory, set-theoretic topology, or theoretical computer science. If you have questions regarding this seminar, please contact Keith Kearnes or Peter Mayr.
The Constraint Satisfaction Problem (CSP) over a structure with a finite relational signature is the problem of deciding whether a given finite input structure with the same signature as has a homomorphism to . According to the famous result of Bulatov and Zhuk we know that CSPs over finite template structures exhibit a complexity dichotomy: they are all in or -complete. Generalizing this theorem to infinite structures has been a topic of active research in the past few decades. A currently standing conjecture in this direction is by Bodirsky and Pinsker which states that the same complexity dichotomy holds for first-order reducts of finitely bounded homogeneous structures. In my talk I am exploring some ideas on how this conjecture could be attacked under some strong model theoretical assumptions such as -stability or first-order interpretability in the pure set. This approach often requires a detailed understanding of structures arising in this context which also leads to some questions in model theory that could be of independent interest.
This is joint work with Manuel Bodirsky and Paolo Marimon.
This study is based on ‘algebraic-analytic’ approach to some non-associative hyper-structures with application to physical systems. This was with a view of understanding the non-associatve algebraic behaviour of: (i) the elementary particle physics (lepton group) which forms an Hv-group (Nezhad et al. 2012), the elementary particles (including the Higgs Boson) originally studied by (Davvaz et al. 2020) and (ii) some dismutation reactions in chemical systems (Davvaz et al. 2012). Non-commutative groupoid (quasigroup and loop) was used to construct polygroupoid (polyquasigroup, polyloop) and examples given. The Kuratowski closure axioms was used for an appropriate closure operator that is nuclear in nature (relative to polygroupoid) to produce a Kuratowski induced topological space and consequently a polygroupoid-topological space. This study introduced and investigated the properties of left (right) nuclei Kuratowski closure operator induced topological space on polygroupoid (polyquasigroup, polyloop). This was used to analyse (with the aid of probability) the nuclear and alternative properties of the lepton group. The analysis of algebraic properties (with the aid of probability of elements) in dismutation reaction of some chemical systems of Tin (Sn), Indium (In) and Vanadium (V) which are represented by hyper-algebraic structures were carried out.
A study of non-associative hyper-structures and algebraic analysis of selected physical systems
We prove that supernilpotent and nilpotent semirings with absorbing zero are the same and provide a necessary and sufficient condition for supernilpotency (nilpotency).
Model theoretical tameness and CSPs