On Kim-independence

DOI10.4171/JEMS/948zbMATH Open1467.03010arXiv1702.03894OpenAlexW3001155019MaRDI QIDQ2178257FDOQ2178257

Authors: Itay Kaplan, Nicholas Ramsey 

Publication date: 7 May 2020

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

Abstract: We study NSOP${}_1$ theories. We define Kim-independence, which generalizes non-forking independence in simple theories and corresponds to non-forking at a generic scale. We show that Kim-independence satisfies a version of Kim's lemma, local character, symmetry, and an independence theorem and that, moreover, these properties individually characterize NSOP${}_1$ theories. We describe Kim-independence in several concrete theories and observe that it corresponds to previously studied notions of independence in Frobenius fields and vector spaces with a generic bilinear form.

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

Recommendations

• Local character of Kim-independence
• On independence domination
• BET on independence
• A new look at independence
• scientific article; zbMATH DE number 3950516
• A Note on the Concept of Independence
• Background-independence

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Classification theory and the number of non-isomorphic models.
• Field Arithmetic
• Simple theories
• Simple unstable theories
• Model-theoretic applications of cofinality spectrum problems
• An independence theorem for \(\mathrm{NTP}_{2}\) theories
• Stable group theory and approximate subgroups
• Theories without the tree property of the second kind
• Properties of forking in ω-free pseudo-algebraically closed fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Forking and dividing in NTP\(_{2}\) theories
• Hypergraph sequences as a tool for saturation of ultrapowers
• Title not available (Why is that?)
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• Groups definable in local fields and pseudo-finite fields
• Simplicity and stability in there
• ℵ₀ -Categorical Structures Smoothly Approximated by Finite Substructures
• Title not available (Why is that?)
• Forking in Simple Unstable Theories
• On \(\vartriangleleft^{*}\)-maximality.
• On model-theoretic tree properties
• The generic pair conjecture for dependent finite diagrams
• Tree indiscernibilities, revisited
• Title not available (Why is that?)
• A primer of simple theories
• Model theory of profinite groups having the Iwasawa property
• Forking and dividing in Henson graphs
• Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan

Cited In (29)

• Transitivity of Kim-independence
• Bounded ultraimaginary independence and its total Morley sequences
• On the number of countable models of a countable NSOP\(_1\) theory without weight \(\omega\)
• Local character of Kim-independence
• Exact saturation in pseudo-elementary classes for simple and stable theories
• Co-theory of sorted profinite groups for PAC structures
• Independence relations for exponential fields
• More on tree properties
• Hereditary G-compactness
• Positive indiscernibles
• A new Kim's lemma
• FORKING, IMAGINARIES, AND OTHER FEATURES OF
• Elementary equivalence theorem for PAC structures
• Recursive functions and existentially closed structures
• Criteria for exact saturation and singular compactness
• On algebraically closed fields with a distinguished subfield
• Sets, groups, and fields definable in vector spaces with a bilinear form
• Model-theoretic properties of nilpotent groups and Lie algebras
• Generic expansion of an abelian variety by a subgroup
• Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• Model theory of Steiner triple systems
• On the antichain tree property
• TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES
• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• WEAK CANONICAL BASES IN NSOP THEORIES
• Nondefinability of rings of integers in most algebraic fields
• Bilinear spaces over a fixed field are simple unstable
• Universality: new criterion for non-existence

This page was built for publication: On Kim-independence

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