Consistent amalgamation for þ-forking

DOI10.1016/j.apal.2013.06.021zbMath1330.03074OpenAlexW1967386744MaRDI QIDQ386624

Mohammad Hasan, H. S. Yoon

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

rosy theoryconsistent amalgamationþ-forking

Mathematics Subject Classification ID

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

Related Items (3)

Stable formulas in ordered structures ⋮ Failure of n -uniqueness: a family of examples ⋮ Dynamics of rotating cylindrical shells in general relativity

Cites Work

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

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