A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING

DOI10.1142/S0219061309000811zbMath1211.03051MaRDI QIDQ3583036

Hans Adler

Publication date: 26 August 2010

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

forkingthorn-forkingMorley sequencesindependence relation

Mathematics Subject Classification ID

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

Related Items

Canonical forking in AECs ⋮ A remark on strict independence relations ⋮ On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry ⋮ Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories ⋮ On the class of flat stable theories ⋮ Weak one-basedness ⋮ Super/rosy \(L^k\)-theories and classes of finite structures ⋮ Model theoretic properties of the Urysohn sphere ⋮ Separation for isometric group actions and hyperimaginary independence ⋮ Using ultrapowers to compare continuous structures ⋮ Superrosiness and dense pairs of geometric structures ⋮ THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS ⋮ On lovely pairs of geometric structures ⋮ Stable domination and weight ⋮ Thorn-forking in continuous logic ⋮ Expansions which introduce no new open sets ⋮ On positive local combinatorial dividing-lines in model theory ⋮ Superrosy fields and valuations ⋮ Superrosy dependent groups having finitely satisfiable generics ⋮ FORKING, IMAGINARIES, AND OTHER FEATURES OF ⋮ Generic expansions by a reduct ⋮ Generic stability, forking, and þ-forking ⋮ Neostability in countable homogeneous metric spaces ⋮ Forking in short and tame abstract elementary classes ⋮ Canonical forests in directed families ⋮ BINARY PRIMITIVE HOMOGENEOUS SIMPLE STRUCTURES ⋮ THORN-FORKING AS LOCAL FORKING ⋮ Strict independence ⋮ Non-forking w-good frames ⋮ Independence in Model Theory ⋮ INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES ⋮ Independence in randomizations ⋮ AN AXIOMATIC APPROACH TO FREE AMALGAMATION ⋮ Quantifier elimination on some pseudo-algebraically closed valued fields ⋮ Residue field domination in real closed valued fields ⋮ MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS ⋮ Independence logic and abstract independence relations ⋮ WEAK CANONICAL BASES IN NSOP THEORIES ⋮ Quantifier elimination for o-minimal structures expanded by a valuational cut ⋮ The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion

Cites Work

• Classification theory and the number of non-isomorphic models
• Simple theories
• Toward classifying unstable theories
• Modularity in the theory of lattices
• Simplicity, and stability in there
• THORN-FORKING AS LOCAL FORKING
• Simple unstable theories
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Forking in Simple Unstable Theories
• Characterizing rosy theories
• Properties and consequences of Thorn-independence