Journal of Mathematical Logic 9 (2):201-239 (2009)

O-minimal structures have long been thought to occupy the base of a hierarchy of ordered structures, in analogy with the role that strongly minimal structures play with respect to stable theories. This is the first in an anticipated series of papers whose aim is the development of model theory for ordered structures of rank greater than one. A class of ordered structures to which a notion of finite rank can be assigned, the decomposable structures, is introduced here. These include all ordered structures definable in o-minimal structures. The principal result in this paper, Theorem 5.1, asserts roughly that a decomposable structure [Formula: see text] can be partitioned into finitely many definable subsets such that on each set the restriction of < is a "twisted lexicographic" order. As a consequence, for all n and linear orders ≺ definable on a subset X ⊆ Mn in an o-minimal structure [Formula: see text], there is a definable partition of X such that the restriction of ≺ to each set in the partition is "lexicographic".
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1142/S0219061309000896
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,261
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Forking and Independence in o-Minimal Theories.Alfred Dolich - 2004 - Journal of Symbolic Logic 69 (1):215-240.
Definable Types in o-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
Corps Et Chirurgie.Anand Pillay & Bruno Poizat - 1995 - Journal of Symbolic Logic 60 (2):528-533.

View all 6 references / Add more references

Citations of this work BETA

The Marker–Steinhorn Theorem Via Definable Linear Orders.Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (4):701-706.
Definable One-Dimensional Topologies in O-Minimal Structures.Ya’Acov Peterzil & Ayala Rosel - 2020 - Archive for Mathematical Logic 59 (1-2):103-125.

Add more citations

Similar books and articles

Partially Ordered Sets and the Independence Property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Fields of Finite Morley Rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
Logics of Belief Change Without Linearity.John Cantwell - 2000 - Journal of Symbolic Logic 65 (4):1556-1575.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
Two Variable First-Order Logic Over Ordered Domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
Quasi-o-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
The Geometry of Forking and Groups of Finite Morley Rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Supersimple Ω-Categorical Groups and Theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Well Ordered Subsets of Linearly Ordered Sets.Hartmut Höft & Paul Howard - 1994 - Notre Dame Journal of Formal Logic 35 (3):413-425.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.


Added to PP index

Total views
14 ( #712,936 of 2,455,874 )

Recent downloads (6 months)
2 ( #303,332 of 2,455,874 )

How can I increase my downloads?


My notes