Unstable structures definable in o-minimal theories

DOI10.1007/S00029-010-0018-YzbMATH Open1208.03039arXiv0704.3844OpenAlexW2062830176MaRDI QIDQ974656FDOQ974656

Authors: Assaf Hasson, Alf Onshuus 

Publication date: 4 June 2010

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

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.

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

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

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)

Cites Work

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

Cited In (5)

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

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)