On Kim-independence
From MaRDI portal
Publication:2178257
Abstract: We study NSOP 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 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1908324 (Why is no real title available?)
- scientific article; zbMATH DE number 1912564 (Why is no real title available?)
- scientific article; zbMATH DE number 1405573 (Why is no real title available?)
- scientific article; zbMATH DE number 2220970 (Why is no real title available?)
- scientific article; zbMATH DE number 2239225 (Why is no real title available?)
- A primer of simple theories
- An independence theorem for \(\mathrm{NTP}_{2}\) theories
- Classification theory and the number of non-isomorphic models.
- Field Arithmetic
- Forking and dividing in Henson graphs
- Forking and dividing in NTP\(_{2}\) theories
- Forking in Simple Unstable Theories
- Groups definable in local fields and pseudo-finite fields
- Hypergraph sequences as a tool for saturation of ultrapowers
- Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan
- Model theory of profinite groups having the Iwasawa property
- Model-theoretic applications of cofinality spectrum problems
- More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
- On \(\vartriangleleft^{*}\)-maximality.
- On model-theoretic tree properties
- Properties of forking in ω-free pseudo-algebraically closed fields
- Simple theories
- Simple unstable theories
- Simplicity and stability in there
- Stable group theory and approximate subgroups
- The generic pair conjecture for dependent finite diagrams
- Theories without the tree property of the second kind
- Tree indiscernibilities, revisited
- ℵ0 -Categorical Structures Smoothly Approximated by Finite Substructures
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
- More on tree properties
- Co-theory of sorted profinite groups for PAC structures
- Independence relations for exponential fields
- 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
- Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
- On the antichain tree property
- TRANSITIVITY, LOWNESS, AND RANKS IN NSOP 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)
