- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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
Other Versions
No versions found
My notes
Similar books and articles
Independence Relations in Abstract Elementary Categories.Mark Kamsma - 2022 - Bulletin of Symbolic Logic 28 (4):531-531.
Transitivity, Lowness, and Ranks in Nsop Theories.Artem Chernikov, K. I. M. Byunghan & Nicholas Ramsey - 2023 - Journal of Symbolic Logic 88 (3):919-946.
Three Surprising Instances of Dividing.Gabriel Conant & Alex Kruckman - forthcoming - Journal of Symbolic Logic:1-20.
The kim–pillay theorem for abstract elementary categories.Mark Kamsma - 2020 - Journal of Symbolic Logic 85 (4):1717-1741.
Conant-independence and generalized free amalgamation.Scott Mutchnik - forthcoming - Journal of Mathematical Logic.
Simplicity and uncountable categoricity in excellent classes.Tapani Hyttinen & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 139 (1):110-137.
Conant-independence and generalized free amalgamation.Scott Mutchnik - forthcoming - Journal of Mathematical Logic.
On Rank Not Only in Nsop $_1$ Theories.Jan Dobrowolski & Daniel Max Hoffmann - 2024 - Journal of Symbolic Logic 89 (4):1669-1702.
Co-theory of sorted profinite groups for PAC structures.Daniel Max Hoffmann & Junguk Lee - 2023 - Journal of Mathematical Logic 23 (3).
Analytics
Added to PP
2021-11-04
Downloads
29 (#825,428)
6 months
7 (#516,663)
2021-11-04
Downloads
29 (#825,428)
6 months
7 (#516,663)
Historical graph of downloads
Author's Profile
Citations of this work
Three Surprising Instances of Dividing.Gabriel Conant & Alex Kruckman - forthcoming - Journal of Symbolic Logic:1-20.
On Rank Not Only in Nsop $_1$ Theories.Jan Dobrowolski & Daniel Max Hoffmann - 2024 - Journal of Symbolic Logic 89 (4):1669-1702.
Generic multiplicative endomorphism of a field.Christian D'Elbée - 2025 - Annals of Pure and Applied Logic 176 (4):103554.
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.
Generic expansions by a reduct.Christian D’Elbée - 2021 - Journal of Mathematical Logic 21 (3):2150016.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-gv576 uwo