Definable structures in o-minimal theories: One dimensional types

Assaf Hasson, Alf Onshuus, Ya'acov Peterzil

Research output: Contribution to journalArticlepeer-review

Abstract

Let N be a structure definable in an o-minimal structure M and p ∈ SN (N), a complete N-1-type. If dimM(p) = 1, then p supports a combinatorial pre-geometry. We prove a Zilber type trichotomy: Either p is trivial, or it is linear, in which case p is non-orthogonal to a generic type in an N-definable (possibly ordered) group whose structure is linear, or, if p is rich then p is non-orthogonal to a generic type of an N-definable real closed field. As a result, we obtain a similar trichotomy for definable one-dimensional structures in o-minimal theories.

Original languageEnglish
Pages (from-to)363-379
Number of pages17
JournalIsrael Journal of Mathematics
Volume179
Issue number1
DOIs
StatePublished - 2010

Bibliographical note

Funding Information:
∗ Supported by the EPSRC grant no. EP C52800X 1 ∗∗Partially supported by the EC FP6 through the Marie Curie Network MODNET (MRTN-CT-2004-512234) Received April 14, 2007 and in revised form January 1, 2009

ASJC Scopus subject areas

  • General Mathematics

Fingerprint

Dive into the research topics of 'Definable structures in o-minimal theories: One dimensional types'. Together they form a unique fingerprint.

Cite this