Model-completion of scaled lattices. Prépublication Mathématiques d'Angers 191, 2004. ,
Undecidability of some topological theories, Fund. Math, vol.38, pp.137-152, 1951. ,
Stone spaces, volume 3 of Cambridge Studies in Advanced Mathematics, 1982. ,