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)