On Kim-independence

DOI10.4171/JEMS/948zbMath1467.03010arXiv1702.03894OpenAlexW3001155019MaRDI QIDQ2178257

Nicholas Ramsey, Itay Kaplan

Publication date: 7 May 2020

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

zbMATH Keywords

simple theories\(\text{NSOP}_1\)Kim-independence

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)

Related Items (21)

Exact saturation in pseudo-elementary classes for simple and stable theories ⋮ On the antichain tree property ⋮ Generic expansion of an abelian variety by a subgroup ⋮ Sets, groups, and fields definable in vector spaces with a bilinear form ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES ⋮ Co-theory of sorted profinite groups for PAC structures ⋮ Independence relations for exponential fields ⋮ Recursive functions and existentially closed structures ⋮ Model theory of Steiner triple systems ⋮ Bilinear spaces over a fixed field are simple unstable ⋮ Universality: new criterion for non-existence ⋮ Local character of Kim-independence ⋮ Transitivity of Kim-independence ⋮ Hereditary G-compactness ⋮ FORKING, IMAGINARIES, AND OTHER FEATURES OF ⋮ Criteria for exact saturation and singular compactness ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Nondefinability of rings of integers in most algebraic fields ⋮ ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES ⋮ WEAK CANONICAL BASES IN NSOP THEORIES

Cites Work

• Theories without the tree property of the second kind
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• Classification theory and the number of non-isomorphic models.
• Groups definable in local fields and pseudo-finite fields
• Simple theories
• Model theory of profinite groups having the Iwasawa property
• A primer of simple theories
• On \(\vartriangleleft^{*}\)-maximality.
• Forking and dividing in Henson graphs
• Model-theoretic applications of cofinality spectrum problems
• Tree indiscernibilities, revisited
• The generic pair conjecture for dependent finite diagrams
• Simplicity, and stability in there
• AN INDEPENDENCE THEOREM FOR NTP2 THEORIES
• On model-theoretic tree properties
• Stable group theory and approximate subgroups
• Field Arithmetic
• ℵ₀ -Categorical Structures Smoothly Approximated by Finite Substructures
• Simple unstable theories
• Forking in Simple Unstable Theories
• Properties of forking in ω-free pseudo-algebraically closed fields
• Forking and Dividing in NTP₂ theories
• Hypergraph sequences as a tool for saturation of ultrapowers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Kim-independence