MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1801

Preprint Number 1801

Previous Next Preprint server


1801. Artem Chernikov, Byunghan Kim, Nicholas Ramsey
Transitivity, lowness, and ranks in NSOP_1 theories
E-mail:

Submission date: 18 June 2020

Abstract:

We develop the theory of Kim-independence in the context of NSOP_1 theories satisfying the existence axiom. We show that, in such theories, Kim-independence is transitive and that ↓^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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2006.10486: pdf, ps.


Last updated: June 30 2020 21:16 Please send your corrections to: