Consistent amalgamation for þ-forking

DOI10.1016/J.APAL.2013.06.021zbMATH Open1330.03074OpenAlexW1967386744MaRDI QIDQ386624FDOQ386624

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

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

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)

Cites Work

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

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)