@article{AMLG_1981__21_137974, author = {J.A. Makowsky and M. Ziegler}, title = {Topological model theory with an interior operator: consistency properties and back - and forth arguments.}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {37--54}, publisher = {mathdoc}, volume = {21}, year = {1981}, zbl = {0472.03027}, url = {http://geodesic.mathdoc.fr/item/AMLG_1981__21_137974/} }