Local character of Kim-independence

DOI10.1090/proc/14305OpenAlexW2963277457WikidataQ129397342 ScholiaQ129397342MaRDI QIDQ4621381

Nicholas Ramsey, Itay Kaplan, Saharon Shelah

Publication date: 12 February 2019

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)

Related Items (11)

Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories ⋮ Mekler's construction and generalized stability ⋮ Exact saturation in pseudo-elementary classes for simple and stable theories ⋮ TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES ⋮ Independence relations for exponential fields ⋮ Kim-independence in positive logic ⋮ Model theory of Steiner triple systems ⋮ Local character of Kim-independence ⋮ Transitivity of Kim-independence ⋮ More on tree properties ⋮ ON THE NUMBER OF COUNTABLE MODELS OF A COUNTABLE NSOP₁ THEORY WITHOUT WEIGHT ω

Cites Work

• Classification theory and the number of non-isomorphic models.
• On \(\vartriangleleft^{*}\)-maximality.
• Stationary logic and its friends. II
• On Kim-independence
• On model-theoretic tree properties
• Generalized Quantifiers and Compact Logic
• Stationary logic
• Local character of Kim-independence
• Set Theory
• Löwenheim-Skolem and interpolation theorems in infinitary languages

This page was built for publication: Local character of Kim-independence