Abstract
We introduce a notion of simplicity for types in discretely ordered first order structures. We prove that all the structure on the locus of a simple type is induced exclusively by the ordering relation. As an application we determine all possible expansions of (ω, <) satisfying CB(x = x) = 1.
Similar content being viewed by others
References
Marcja A., Toffalori C.: A Guide to Classical and Modern Model Theory. Kluwer Academic Publishers, Dordrecht (2003)
Pillay A., Steinhorn C.: Discrete o-minimal structures. Ann. Pure Appl. Log 34, 275–289 (1987)
Pillay A., Steinhorn C.: Definable sets in ordered structures, III. Trans. Am. Math. Soc. 309(2), 469–476 (1988)
Rosenstein J.G.: Linear Orderings. Academic Press, New York (1982)
Tanović P.: On constants and the strict order property. Arch. Math. Log. 45, 423–430 (2006)
Tanović P.: Types directed by constants. Ann. Pure Appl. Log. 161, 944–955 (2010)
Tanović P.: Minimal first-order structures. Ann. Pure Appl. Log. 162, 948–957 (2011)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ilić, D. Simple types in discretely ordered structures. Arch. Math. Logic 53, 929–947 (2014). https://doi.org/10.1007/s00153-014-0396-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0396-5