Maximal small extensions of o-minimal structures

DOI10.1002/MALQ.200910102MaRDI QIDQ3053228zbMATH OpenOpenAlexFDO

Authors Janak Ramakrishnan

Publication date 4 November 2010

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0712.0591

zbMATH Keywords

o-minimalitysmall extension

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Model theory of ordered structures; o-minimality (03C64)

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.

Recommendations

• Small extensions of models of o-minimal theories and absolute homogeneity
• Maximality of the countable spectrum in small quite o-minimal theories
• scientific article; zbMATH DE number 4127183
• Cardinal elementary extensions
• Maximal extensions of ordered fields

Cites work

• Omitting types in -minimal theories
• Stability and omitting types

Cited in

(4)

• Maximality of the countable spectrum in small quite o-minimal theories
• Expansions of o-minimal structures by iteration sequences
• Small extensions of models of o-minimal theories and absolute homogeneity
• Small theories of Boolean ordered o-minimal structures

This page was built for publication: Maximal small extensions of o-minimal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3053228)