Independence over arbitrary sets in NSOP1 theories
Annals of Pure and Applied Logic 173 (2):103058 (2022)
Abstract
We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP1 theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong typesAuthor's Profile
DOI
10.1016/j.apal.2021.103058
My notes
Similar books and articles
On the number of countable models of a countable nsop1 theory without weight ω.Byunghan Kim - 2019 - Journal of Symbolic Logic 84 (3):1168-1175.
Relational and Partial Variable Sets and Basic Predicate Logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (2):843-872.
Relational and partial variable sets and basic predicate logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.
Sets of probability distributions, independence, and convexity.Fabio G. Cozman - 2012 - Synthese 186 (2):577-600.
More on SOP 1 and SOP 2.Saharon Shelah & Alexander Usvyatsov - 2008 - Annals of Pure and Applied Logic 155 (1):16-31.
Set and revealed preference axioms for multi-valued choice.Hans Peters & Panos Protopapas - 2021 - Theory and Decision 90 (1):11-29.
More on SOP1 and SOP2.Saharon Shelah & Alexander Usvyatsov - 2008 - Annals of Pure and Applied Logic 155 (1):16-31.
Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
A note on stable sets, groups, and theories with NIP.Alf Onshuus & Ya'acov Peterzil - 2007 - Mathematical Logic Quarterly 53 (3):295-300.
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Analytics
Added to PP
2021-11-04
Downloads
2 (#1,402,186)
6 months
1 (#450,993)
2021-11-04
Downloads
2 (#1,402,186)
6 months
1 (#450,993)
Historical graph of downloads
Author's Profile
References found in this work
Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.
An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
