A dichotomy for D-rank 1 types in simple theories

DOI10.1007/S11856-015-1243-ZzbMATH Open1382.03058arXiv1311.4053OpenAlexW2235182860MaRDI QIDQ891192FDOQ891192

Ziv Shami

Publication date: 16 November 2015

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

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).

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)

Cites Work

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

Cited In (2)

• Krull dimension of types in a class of first-order 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)