Search

• < Previous
• 1
• Next >

---

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Nick Bezhanishvili ; Mai Gehrke.

Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which&nbsp;[&hellip;]

---

A duality theoretic view on limits of finite structures: Extended version

Mai Gehrke ; Tomáš Jakl ; Luca Reggio.

A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be&nbsp;[&hellip;]

---