. Luckdarnì-ere, Model-completion of scaled lattices. Prépublication Mathématiques d'Angers 191, 2004.

A. Grzegorczyk, Undecidability of some topological theories, Fund. Math, vol.38, pp.137-152, 1951.

T. Peter and . Johnstone, Stone spaces, volume 3 of Cambridge Studies in Advanced Mathematics, 1982.