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
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