Maximal small extensions of o-minimal structures
Abstract
A proper elementary extension of a model is called small if it realizes no new types over any finite set in the base model. We answer a question of Marker, and show that it is possible to have an o-minimal structure with a maximal small extension. Our construction yields such a structure for any cardinality. We show that in some cases, notably when the base structure is countable, the maximal small extension has maximal possible cardinality.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2007
- DOI:
- 10.48550/arXiv.0712.0591
- arXiv:
- arXiv:0712.0591
- Bibcode:
- 2007arXiv0712.0591R
- Keywords:
-
- Mathematics - Logic;
- 03C64 (Primary);
- 03C45 (Secondary);
- 03C50
- E-Print:
- 6 pages. To appear in Mathematical Logic Quarterly