Independence over arbitrary sets in NSOP1 theories

Annals of Pure and Applied Logic 173 (2):103058 (2022)
  Copy   BIBTEX

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 types

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Independence Relations in Abstract Elementary Categories.Mark Kamsma - 2022 - Bulletin of Symbolic Logic 28 (4):531-531.
Nsop-Like Independence in Aecats.Mark Kamsma - 2024 - Journal of Symbolic Logic 89 (2):724-757.
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.

Analytics

Added to PP
2021-11-04

Downloads
29 (#825,428)

6 months
7 (#516,663)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas Ramsey
University of California, Los Angeles

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.
Nsop-Like Independence in Aecats.Mark Kamsma - 2024 - Journal of Symbolic Logic 89 (2):724-757.
Generic multiplicative endomorphism of a field.Christian D'Elbée - 2025 - Annals of Pure and Applied Logic 176 (4):103554.

Add more citations

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.

View all 14 references / Add more references