Singly generated quasivarieties and residuated structures

A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A. A consequence of this demand, called "passive structural completeness" (PSC), is that the nontrivial members of K all satisfy the same existential positive sentences. We prove that if K is PSC then it still has the JEP, and if it has the JEP and its nontrivial members lack trivial subalgebras, then its relatively simple members all belong to the universal class generated by one of them. Under these conditions, if K is relatively semisimple then it is generated by one K-simple algebra. It is a minimal quasivariety if, moreover, it is PSC but fails to unify some finite set of equations. We also prove that a quasivariety of finite type, with a finite nontrivial member, is PSC iff its nontrivial members have a common retract. The theory is then applied to the variety of De Morgan monoids, where we isolate the sub(quasi)varieties that are PSC and those that have the JEP, while throwing fresh light on those that are structurally complete. The results illuminate the extension lattices of intuitionistic and relevance logics

Singly generated quasivarieties and residuated structures

Please read abstract in the article.H2020 Marie Skłodowska-Curie Actions; DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), South Africa and National Research Foundation of South Africa.https://onlinelibrary.wiley.com/journal/15213870hj2021Mathematics and Applied Mathematic

Non-commutative Geometry, Index Theory and Mathematical Physics

Non-commutative geometry today is a new but mature branch of mathematics shedding light on many other areas from number theory to operator algebras. In the 2018 meeting two of these connections were highlighted. For once, the applications to mathematical physics, in particular quantum field theory. Indeed, it was quantum theory which told us first that the world on small scales inherently is non-commutative. The second connection was to index theory with its applications in differential geometry. Here, non-commutative geometry provides the fine tools to obtain higher information

Abstraktní studium úplnosti pro infinitární logiky

V této dizertační práci se zabýváme studiem vlastností úplnosti infinitárních výrokových logik z pohledu abstraktní algebraické logiky. Cílem práce je pochopit, jak lze základní nástroj v důkazech uplnosti, tzv. Lindenbaumovo lemma, zobecnit za hranici finitárních logik. Za tímto účelem studujeme vlastnosti úzce související s Lindenbaumovým lemmatem (a v důsledku také s vlastnostmi úplnosti). Uvidíme, že na základě těchto vlastností lze vystavět novou hierarchii infinitárních výrokových logik. Také se zabýváme studiem těchto vlastností v případě, kdy naše logika má nějaké (případně hodně obecně definované) spojky implikace, disjunkce a negace. Mimo jiné uvidíme, že přítomnost daných spojek může zajist platnost Lindenbaumova lemmatu. Keywords: abstraktní algebraická logika, infinitární logiky, Lindenbau- movo lemma, disjunkce, implikace, negaceIn this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called Linden- baum lemma, generalizes beyond finitary logics. To this end, we study few properties closely related to the Lindenbaum lemma (and hence to com- pleteness properties). We will see that these properties give rise to a new hierarchy of infinitary propositional logic. We also study these properties in scenarios when a given logic has some (possibly very generally defined) connectives of implication, disjunction, and negation. Among others, we will see that presence of these connectives can ensure provability of the Lin- denbaum lemma. Keywords: abstract algebraic logic, infinitary logics, Lindenbaum lemma, disjunction, implication, negationKatedra logikyDepartment of LogicFaculty of ArtsFilozofická fakult