Essays on Mathematical and Philosophical Logic pp 251-257 | Cite as
The Reals Cannot be Characterized Topologically with Strictly Local Properties and Countability Axioms
Chapter
Abstract
A logic is presented which enables us to speak about topological properties which depend only on a basis for the topology as well as about countability conditions. We prove a compactness theorem and a Löwenheim Skolem theorem for this logic and conclude that within this logic the reals cannot be characterized.
Preview
Unable to display preview. Download preview PDF.
References
- [1]S. Garavaglia, Model theory of topological structures, Thesis, Yale, 1976.Google Scholar
- [2]J. A. Makowsky, ‘Topological model theory: a survey’, in P. Maugani (ed.), Model Theory and Applications, Rome, 1975.Google Scholar
- [3]J. A. Makowsky and S. Shelah, ‘The theorems of Beth and Craig in abstract model theory II: compact logics’, Arch, f Math. Logic. 20 (1979).Google Scholar
- [4]J. A. Makowsky, S. Shelah and J. Stavi, ‘\(\Delta\)-logics and generalized quantifiers’, Ann. Math. Log. 10 (1976), 155–192.CrossRefGoogle Scholar
- [5]T. McKee, Thesis, Madison, 1974.Google Scholar
- [6]M. Ziegler, ‘A language for topological structures which satisfies a Lindstrom theorem’, BAMS 82 (1976), 568–570.CrossRefGoogle Scholar
Copyright information
© D. Reidel Publishing Company, Dordrecht, Holland 1979