Here you can find the slides of my talk Are locally finite MV-algebras a variety? presented at the Shanks Workshop on Ordered Algebras and Logic at Vanderbilt University (Nashville, US) and on Zoom for the Algebra|Coalgebra seminar of the ILLC…
This year I teach a course (12 hours) a the AILA summer school of logic. Below one can find the slides of my first three lectures and some references. Lecture 1 (Classical propositional logic and Boolean algebras) Lecture 2 (Algebraic completeness of…
This is the abstract of a talk I gave in Florence at Beyond 2014. Given a category one can form its ind-completion by taking all formal directed colimits of objects in . The “correct” arrows to consider are then families…
These are the slides of a presentation given in Stellenbosch on two isomorphisms criteria for co-limits of sequences of finitely presented or finitely generated objects in a locally small categories. The preprint containing full proofs and applications of these two…
Starting from October 2013 I am organising the Algebra|Coalgebra seminar at the ILLC. The webpage of the seminar are here. See you there!