Definable structures in o-minimal theories: one dimensional types
type: Item
instance of: scholarly article
title: Definable structures in o-minimal theories: one dimensional types
zbMATH Open document ID: 1213.03050
author: Assaf Hasson
author: Alf Onshuus
author: Ya'acov Peterzil
published in: Israel Journal of Mathematics
publication date: 2010-12-06T00:00:00Z
review text: The paper deals with a structure \({\mathcal N}\) definable in a sufficiently saturated o-minimal structure \({\mathcal M}\) (with a dense underlying order) and proves a Zilber trichotomy principle for complete 1-types \(p\) over \(N\) in \({\mathcal N}\) having dimension 1 in \({\mathcal M}\). In a previous paper the authors showed a weak version of this result, saying that, if \({\mathcal N}\) is stable and one-dimensional, then it is 1-based. Here they prove that exactly one of the following conditions holds: {\parindent6.5mm \begin{itemize}\item[(1)] \(p\) is trivial. \item[(2)] \(p\) is linear, in which case \(p\) is non-orthogonal to a generic type of an \(N\)-definable (possibly locally ordered) group \(G\); moreover the structure induced by \({\mathcal N}\) on \(G\) is linear, that is, given by definable subgroups of the various \(G^n\). \item[(3)] \(p\) is rich, in which case it is non-orthogonal to a generic type of a real closed field definable in \({\mathcal N}\). \end{itemize}} A similar trichotomy theorem is proved for the structures \({\mathcal N}\). In particular, it is shown that \({\mathcal N}\) satisfies exactly one of the following conditions: {\parindent6.5mm \begin{itemize}\item[(1)] \({\mathcal N}\) is degenerate. \item[(2)] \({\mathcal N}\) is linear: There is a subset \(X\) of \(N^{\text{eq}}\) with dimension 1 in \({\mathcal M}\) such that the structure \({\mathcal N}\) induces on \(X\) is either a strongly minimal locally modular group or is elementarily equivalent to a group-interval in an ordered vector space. Furthermore, no field is interpretable in \({\mathcal N}\). \item[(3)] \({\mathcal N}\) is rich and interprets a real closed field. \end{itemize}}
reviewed by: Carlo Toffalori
Mathematics Subject Classification ID: 03C64
zbMATH DE Number: 5823094
zbMATH Keywords: o-minimal structure
zbMATH Keywords: one-dimensional type
zbMATH Keywords: Zilber trichotomy principle
zbMATH Keywords: trivial type
zbMATH Keywords: linear type
zbMATH Keywords: rich type
MaRDI profile type: Publication
full work available at URL: s11856-010-0085-y
OpenAlex ID: W1963611300
cites work: A note on superstable groups
cites work: Unstable structures definable in o-minimal theories
cites work: Stable types in rosy theories
cites work: Definable one dimensional structures in o-minimal theories
cites work: Q3784054
cites work: Groups definable in local fields and pseudo-finite fields
cites work: Structures coordinatized by indiscernible sets
cites work: An introduction to forking
cites work: Dedekind Completeness and the Algebraic Complexity of o-Minimal Structures
cites work: A trichotomy theorem for o-minimal structures
cites work: Expansions of algebraically closed fields in o-minimal structures
DOI: 10.1007/S11856-010-0085-Y
description: scientific article; zbMATH DE number 5823094