Unstable structures definable in o-minimal theories

DOI10.1007/S00029-010-0018-YMaRDI QIDQ974656zbMATH OpenOpenAlexFDO

Authors Assaf Hasson, Alf Onshuus

Publication date 4 June 2010

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

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

zbMATH Keywords

rosy theorieso-minimal structuresdependent theoriesunstable structuresZilber's trichotomy theorem

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Real algebraic sets (14P05) Model theory of ordered structures; o-minimality (03C64) Applications of model theory (03C98)

Abstract: Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure induced from N is o-minimal. In particular X is linearly ordered. As part of the proof we show: Theorem 1: If the M-dimenson of N is 1 then any 1-N-type is either strongly stable or finite by o-minimal. Theorem 2: If N is N-minimal then it is 1-M-dimensional.

Recommendations

• Definable structures in o-minimal theories: one dimensional types
• Definable one dimensional structures in o-minimal theories
• scientific article; zbMATH DE number 1136110
• Strongly minimal groups in o-minimal structures
• A trichotomy theorem for o-minimal structures

Cites work

• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• A note on stable sets, groups, and theories with NIP
• A positive characteristic Manin–Mumford theorem
• A trichotomy theorem for o-minimal structures
• An introduction to forking
• An open mapping theorem for o-minimal structures
• Complex analytic geometry and analytic-geometric categories
• Constructing a group-interval in \(O\)-minimal structures
• Definable one dimensional structures in o-minimal theories
• Definable structures in o-minimal theories: one dimensional types
• Diophantine geometry of the torsion of a Drinfeld module
• Embedded o-minimal structures
• Expansions of algebraically closed fields in o-minimal structures
• Local André-Oort conjecture for the universal abelian variety
• Properties and consequences of Thorn-independence
• Stable types in rosy theories
• Strongly minimal expansions of (ℂ, +) definable in o-minimal fields
• The Manin-Mumford conjecture and the model theory of difference fields
• The Mordell-Lang conjecture for function fields

Cited in

(5)

• Definable linear orders definably embed into lexicographic orders in o-minimal structures
• Definable structures in o-minimal theories: one dimensional types
• Definable one dimensional structures in o-minimal theories
• Interpretable sets in dense o-minimal structures
• The non-axiomatizability of o-minimality

This page was built for publication: Unstable structures definable in o-minimal theories

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