Abstract
This article will survey some of the developments in topological model theory of the last ten years, that means since the appearence of the monograph [Flum-Ziegler 1980]. In particular we shall try to give a uniform treatment of results obtained in the model theory of topological spaces: they show the role of topological notions like relative compactness, Cantor’s derivative, scatteredness, ... in topological model theory. To make this survey article as self-contained as possible we start with a review of the main concepts and results of topological model theory (cf. [Flum-Ziegler 1980] for a detailed presentation and [Ziegler 1985] for a survey article).
This paper is an extended version of a talk given on the conference at Chlewiska. I would like to thank the organizers for their kind hospitality and to H.-D. Ebbinghaus and J. C. Martinez for reading a draft of the paper and giving me comments.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Bankston, Taxonomies of model-theoretically defined topological properties, Journal of Symbolic Logic 55 (1990), pp. 589–603.
J. Barwise, Admissible sets and structures, Springer-Verlag, 1975
H. Eisenmenger, Some local definability results on countable topological structures, Journal of Symbolic Logic 48 (1983), pp. 683–692.
J. Flum, J. C. Martinez, On topological spaces equivalent to ordinals, Journal of Symbolic Logic 53 (1988), pp. 785–795.
J. Flum, M. Ziegler, Topological model theory, Lecture Notes in Mathematics, vol. 769, Springer-Verlag, 1980
Y. Gurevich, Crumbly spaces, Logic, Methology and Philosophy of Science VI L.J. Cohen, J. Log, H. Pfeiffer and K.-D. Podewski (eds.), North Holland Publ. Comp. (1982), pp. 179–191.
Y. Gurevich, S. Shelah, Monadic theory of order and topology in ZFC, Ann. Math. Logic 23 (1982), pp. 179–198.
L. Heindorf, Comparing the expressive power of some languages for boolean algebras, Zeit. Math. Logik Grund. Math. 27 (1981), pp. 419–434.
L. Heindorf, Beiträge zur Modelltheorie der Booleschen Algebren, Sem. Ber., Humboldt-Universität, Berlin 1984
C. W. Henson, C. G. Jockusch, L. A. Rubel, G. Takeuti, First order topology Dissertationes Mathematicae 143 (1977), pp. 1–38
W. Kramer, Die Ausdrucksstärke der Sprache L2 fir abzählbare T3-Räume, Dissertation. Universität Freiburg, 1985
H. Leiss, Implizit definierte Mengensysteme, Dissertation. Universität Bonn, 1983
J. C. Martinez, Accessible sets and (4,14,-equivalence for T3 spaces, Journal of Symbolic Logic 49 (1984), pp. 961–967.
J. C. Martinez, On a class of topological spaces with a Scott sentence, Fundamenta Mathematicae 129 (1988), pp. 69–81.
S. Mazurkiewicz, W. Sierpinski, Contribution d la topologie des ensembles denombrables, Fundamenta Mathematicae 1 (1920), pp. 17–27.
A. Prestel, M. Ziegler, Model-theoretic methods in the theory of topological fields, Jour. reine u. angew. Math. 299 /300 (1978), pp. 318–341.
M. O. Rabin, Decidability of second-order theories and automata on infinite trees,Trans. Amer. Math. Soc. 141 (1969), pp. 1–35.
A. Robinson, Metamathematical problems, Journal of Symbolic Logic 38 (1973), pp. 159–171.
M. Ziegler, Definable bases of monotone systems, Logic Colloquium’77 A.J. Macintyre, L. Pacholski and J.B. Paris (eds.), North Holland Publish. Company (1978), pp. 297–311.
M. Ziegler, Topological Model Theory,: Model-Theoretic Logics J. Barwise, S. Feferman(eds.) (1985), pp. 557–577.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Flum, J. (1995). Model Theory of Topological Structures. In: Krynicki, M., Mostowski, M., Szczerba, L.W. (eds) Quantifiers: Logics, Models and Computation. Synthese Library, vol 248. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0522-6_9
Download citation
DOI: https://doi.org/10.1007/978-94-017-0522-6_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4539-3
Online ISBN: 978-94-017-0522-6
eBook Packages: Springer Book Archive