Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories

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

zbMATH Keywords

symmetryextensionKim-dividingthe independence theorem

Mathematics Subject Classification ID

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

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 NTP₂ theories

This page was built for publication: Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories