A dichotomy for D-rank 1 types in simple theories

DOI10.1007/S11856-015-1243-ZMaRDI QIDQ891192zbMATH OpenOpenAlexFDO

Authors Ziv Shami

Publication date 16 November 2015

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

superstabilitystable theories\(D\)-rank 1 typesBuechler's dichotomy

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We prove a dichotomy for $D$-rank 1 types in simple theories that generalizes Buechler's dichotomy for $D$-rank 1 minimal types in stable theories: every $D$-rank 1 type is either 1-based or part of its algebraic closure, defined by a single formula, almost contains a non-algebraic formula that belongs to a non-forking extension of the type. In addition we prove that a densely 1-based type of $D$-rank 1 is 1-based. We also observe that for a hypersimple unidimensional theory the existence of a non-algebraic stable type implies stability (and thus superstability).

Recommendations

• On uncountable hypersimple unidimensional theories
• A model-theoretic Baire category theorem for simple theories and its applications
• On types of CB-rank 1 in simple theories
• Non-isolated types in stable theories
• A dichotomy theorem for regular types

Cites work

• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• Coordinatisation and canonical bases in simple theories
• Coordinatisation by binding groups and unidimensionality in simple theories
• Countable hypersimple unidimensional theories
• Forking in Simple Unstable Theories
• Generic pairs of SU-rank 1 structures
• Internality and interpretable automorphism groups in simple theories
• Lovely pairs of models
• On analyzability in the forking topology for simple theories
• On countable simple unidimensional theories
• On uncountable hypersimple unidimensional theories
• Simple theories
• Some remarks on one-basedness
• The geometry of 1-based minimal types
• The geometry of weakly minimal types
• Unidimensional theories are superstable

Cited in

(4)

• Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence
• Krull dimension of types in a class of first-order theories
• On uncountable hypersimple unidimensional theories
• On the forking topology of a reduct of a simple theory

This page was built for publication: A dichotomy for \(D\)-rank 1 types in simple theories

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