TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES

DOI10.1017/JSL.2023.36MaRDI QIDQ6095968zbMATH OpenOpenAlexFDO

Authors Artem Chernikov, Byunghan Kim, Nicholas Ramsey

Publication date 11 September 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2006.10486

zbMATH Keywords

classification theorymodel theoryneostability theory

Mathematics Subject Classification ID

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

Abstract: We develop the theory of Kim-independence in the context of NSOP${}_1$ theories satsifying the existence axiom. We show that, in such theories, Kim-independence is transitive and that $in{d}^K$-Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP${}_1$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP${}_1$ theories.

Cites work

• Definability in low simple theories
• Forking and dividing in NTP\(_{2}\) theories
• Forking in Simple Unstable Theories
• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• Lascar strong types in some simple theories
• Local character of Kim-independence
• More on tree properties
• On \(\vartriangleleft^{*}\)-maximality.
• On Kim-independence
• On model-theoretic tree properties
• On the number of countable models of a countable NSOP₁ theory without weight
• Simple theories
• Simplicity theory
• Transitivity of Kim-independence
• Tree indiscernibilities, revisited

Cited in

(4)

• More on tree properties
• Correction to: ``Kim-independence in positive logic
• On rank not only in \(\mathrm{NSOP}_1\) theories
• Definable convolution and idempotent Keisler measures. III: Generic stability, generic transitivity, and revised Newelski's conjecture

This page was built for publication: TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6095968)