FORKING, IMAGINARIES, AND OTHER FEATURES OF
From MaRDI portal
Publication:5159493
DOI10.1017/jsl.2021.34OpenAlexW3170556280MaRDI QIDQ5159493
Publication date: 27 October 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.09378
forkingelimination of imaginaries\(\mathrm{NSOP}_1\) theoriesfields of positive characteristic with generic subgroupKim-forking
Classification theory, stability, and related concepts in model theory (03C45) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10) Other model constructions (03C30)
Related Items (2)
Kim-independence in positive logic ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
Cites Work
- Unnamed Item
- Unnamed Item
- On the Chabauty space of locally compact Abelian groups
- Notions around tree property 1
- On the automorphism groups of finite covers
- The structure of finitary permutation groups
- Model theory and algebraic geometry. An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
- Generic structures and simple theories
- Model theory of finite fields and pseudo-finite fields
- Simple theories
- Forking and dividing in Henson graphs
- On Kim-independence
- A simple criterion
- Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
- On model-theoretic tree properties
- A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
- THORN-FORKING AS LOCAL FORKING
- Properties of forking in ω-free pseudo-algebraically closed fields
- Model theory of Steiner triple systems
- Generic expansions by a reduct
- INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES
- Forking and Dividing in NTP2 theories
This page was built for publication: FORKING, IMAGINARIES, AND OTHER FEATURES OF