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
Last revised on September 17, 2016 at 02:17:35. See the history of this page for a list of all contributions to it.