Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-22T21:03:30.180Z Has data issue: false hasContentIssue false

ONE DIMENSIONAL T.T.T STRUCTURES

Published online by Cambridge University Press:  18 August 2014

DANIEL LOWENGRUB*
Affiliation:
DEPARTMENT OF MATHEMATICS, THE HEBREW UNIVERSITY OF JERUSALEM, JERUSALEM, 91904, ISRAEL, E-mail: [email protected]

Abstract

In this paper we analyze the relationship between o-minimal structures and the notion of ω-saturated one-dimensional t.t.t structures. We prove that if removing any point from such a structure splits it into more than one definably connected component then it must be a one-dimensional simplex of a finite number of o-minimal structures. In addition, we show that even if removing points doesn’t split the structure, additional topological assumptions ensure that the structure is locally o-minimal. As a corollary we obtain the result that if an ω-saturated one-dimensional t.t.t structure admits a topological group structure then it is locally o-minimal. We also prove that the number of connected components in a definable family is uniformly bounded, which implies that an elementary extension of an ω-saturated one-dimensional t.t.t structure is t.t.t as well.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2014 

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.)

References

REFERENCES

Pillay, A., First order topological structures and theories, this Journal, vol. 52 (1987), no. 3, pp. 763778.Google Scholar
Robinson, A., A note on topological model theory, Fundamenta Mathematicae, vol. 81 (1974), pp. 159171.CrossRefGoogle Scholar
Whyburn, G. T., Analytic Topology, American Mathematical Society, Colloquium Publications, New York, vol. 28, 1942, ch. 3, pp. 4164.Google Scholar