Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
From MaRDI portal
Publication:2067639
DOI10.1016/j.apal.2021.103058OpenAlexW3211070452MaRDI QIDQ2067639
Nicholas Ramsey, Byunghan Kim, Jan Cz. Dobrowolski
Publication date: 18 January 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1909.08368
Related Items (4)
Sets, groups, and fields definable in vector spaces with a bilinear form ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES ⋮ Kim-independence in positive logic
Cites Work
- Theories without the tree property of the second kind
- Simple theories
- On \(\vartriangleleft^{*}\)-maximality.
- On Kim-independence
- Tree indiscernibilities, revisited
- Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
- Definability in low simple theories
- Simplicity, and stability in there
- Simplicity Theory
- On model-theoretic tree properties
- An introduction to forking
- Simple unstable theories
- Properties of forking in ω-free pseudo-algebraically closed fields
- FORKING, IMAGINARIES, AND OTHER FEATURES OF
- Generic expansions by a reduct
- INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES
- A Guide to NIP Theories
- Forking and Dividing in NTP2 theories
This page was built for publication: Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories