Dependence and isolated extensions

DOI10.1090/S0002-9939-2011-10739-1MaRDI QIDQ3092860zbMATH OpenFDO

Authors Vincent Guingona

Publication date 11 October 2011

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

definabilitydefinable typedependent formulaisolated typeNIP

Mathematics Subject Classification ID

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

Abstract: In this paper, we show that phi is a dependent formula if and only if all phi-types have an extension to a phi-isolated phi-type that is an "elementary phi-extension" (see Definition 2.3 in the paper). Moreover, we show that the domain of this extension adds at most 2 times the independence dimension of phi new elements to the domain of the original phi-type. We give corollaries to this theorem and discuss parallels to the stable setting.

Recommendations

• Dependent first order theories, continued
• The independence property in generalized dense pairs of structures
• Dependent theories and the generic pair conjecture
• Forking and Incomplete Types
• A dependent theory with few indiscernibles

Cites work

• On the number of minimal models

Cited in

(9)

• Externally definable sets and dependent pairs
• On n-dependence
• Dependent first order theories, continued
• Dependent pairs
• Relations de d\'ependance et intersections exceptionnelles (Dependence relations and exceptional intersections)
• BOOLEAN TYPES IN DEPENDENT THEORIES
• On definability of types and relative stability
• Externally definable sets and dependent pairs. II
• Domain of Dependence

This page was built for publication: Dependence and isolated extensions

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