Hostname: page-component-cd9895bd7-jkksz Total loading time: 0 Render date: 2024-12-19T17:04:37.931Z Has data issue: false hasContentIssue false
  • English
  • Français

First order topological structures and theories

Published online by Cambridge University Press:  12 March 2014

Anand Pillay
Anand Pillay*
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper we introduce the notion of a first order topological structure, and consider various possible conditions on the complexity of the definable sets in such a structure, drawing several consequences thereof.

Our aim is to develop, for a restricted class of unstable theories, results analogous to those for stable theories. The “material basis” for such an endeavor is the analogy between the field of real numbers and the field of complex numbers, the former being a “nicely behaved” unstable structure and the latter the archetypal stable structure. In this sense we try here to situate our work on o-minimal structures [PS] in a general topological context. Note, however, that the p-adic numbers, and structures definable therein, will also fit into our analysis.

In the remainder of this section we discuss several ways of studying topological structures model-theoretically. Eventually we fix on the notion of a structure in which the topology is “explicitly definable” in the sense of Flum and Ziegler [FZ]. In §2 we introduce the hypothesis that every definable set is a Boolean combination of definable open sets. In §3 we introduce a “dimension rank” on (closed) definable sets. In §4 we consider structures on which this rank is defined, and for which also every definable set has a finite number of definably connected definable components. We show that prime models over sets exist under such conditions.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 3 , September 1987 , pp. 763 - 778
Copyright
Copyright © Association for Symbolic Logic 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

Research partially supported by NSF grant DMS84-01713.

References

REFERENCES

[C] Cherlin, G., Groups of small Morley rank, Annals of Mathematical Logic, vol. 17(1979), pp. 1–28.CrossRefGoogle Scholar
[vdDS] van den Dries, L. and Scrowcroft, P., On the structure of semialgebraic sets over p-adic fields, preprint, 1985.Google Scholar
[FZ] Flum, J. and Ziegler, M., Topological model theory, Lecture Notes in Mathematics, vol. 769, Springer-Verlag, Berlin, 1980.CrossRefGoogle Scholar
[G] Garavaglia, S., Model theory of topological structures, Annals of Mathematical Logic, vol. 14 (1979), pp. 13–37.CrossRefGoogle Scholar
[KPS] Knight, J., Pillay, A. and Steinhorn, C., Definable sets in ordered structures. II, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 593–605.CrossRefGoogle Scholar
[Ku] Kucera, T., Stability theory for topological logic, with applications to topological modules, preprint, 1985.CrossRefGoogle Scholar
[M] Macintyre, A., On definable subsets of p-adic fields, this Journal, vol. 41 (1976), pp. 605–610.Google Scholar
[Mc] McKee, T., Sentences preserved between equivalent topological bases, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 79–84.CrossRefGoogle Scholar
[PS] Pillay, A. and Steinhorn, C., Definable sets in ordered structures. I, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565–592.CrossRefGoogle Scholar
[R] Reineke, J., Minimale Gruppen, Zeitschrift für Mathematische Logik und Grundlagender Mathematik, vol. 21 (1975), pp. 357–379.CrossRefGoogle Scholar
[Ro] Robinson, A., A note on topological model theory, Fundamenta Mathematicae, vol. 81 (1974), pp. 159–171.CrossRefGoogle Scholar
[S] Shelah, S., Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978.Google Scholar
[Z] Ziegler, M., A language for topological structures which satisfies a Lindström theorem, Bulletin of the American Mathematical Society, vol. 82 (1976), pp. 568–570.CrossRefGoogle Scholar