Consistent amalgamation for þ-forking

DOI10.1016/J.APAL.2013.06.021MaRDI QIDQ386624zbMATH OpenOpenAlexFDO

Authors Clifton Ealy, Alf Onshuus

Publication date 10 December 2013

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2013.06.021

zbMATH Keywords

consistent amalgamationrosy theoryþ-forking

Mathematics Subject Classification ID

Other model constructions (03C30) Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Properties and consequences of Thorn-independence
• Thorn-forking in continuous logic
• Super/rosy L^k-theories and classes of finite structures
• Thorn-forking as local forking
• A geometric introduction to forking and thorn-forking

Cites work

• A new strongly minimal set
• Characterizing rosy theories
• Dependent first order theories, continued
• Forking in Simple Unstable Theories
• On NIP and invariant measures
• On generically stable types in dependent theories
• Properties and consequences of Thorn-independence
• Simple generic structures
• Stable generic structures
• Universal graphs with forbidden subgraphs and algebraic closure

Cited in

(8)

• Thorn-forking in continuous logic
• Characterizing rosy theories
• Stable formulas in ordered structures
• Super/rosy L^k-theories and classes of finite structures
• Thorn-forking as local forking
• Dynamics of rotating cylindrical shells in general relativity
• Failure of n -uniqueness: a family of examples
• þ-Forking and Stable Forking

This page was built for publication: Consistent amalgamation for þ-forking

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