Makkai duality

- M. Makkai,
*Stone duality for first order logic*, Proceedings of the Herbrand symposium (Marseilles, 1981), 217–232, Stud. Logic Found. Math.**107**, North-Holland, Amsterdam, 1982, doi;*Stone duality for first-order logic*, Adv. Math.**65**(1987) no. 2, 97–170, doi, MR89h:03067;*Duality and definability in first order logic*, Mem. Amer. Math. Soc.**105**(1993), no. 503

Some more general variants are achieved in

- Marek W. Zawadowski,
*Descent and duality*, Annals of Pure and Applied Logic**71**, n.2 (1995), 131–188 - Henrik Forssell,
*First-order logical duality*, Ph.D. thesis, Carnegie Mellon U. 2008, pdf

Revised on October 16, 2012 19:13:01
by Zoran Škoda
(161.53.130.104)