A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
From MaRDI portal
Publication:3583036
DOI10.1142/S0219061309000811zbMath1211.03051MaRDI QIDQ3583036
Publication date: 26 August 2010
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Related Items (40)
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
This page was built for publication: A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING