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
- 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
- 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?)
- 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
(40)- 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
- Transitivity of Kim-independence
- Hereditary G-compactness
- Bilinear spaces over a fixed field are simple unstable
- Universality: new criterion for non-existence
- Kim's lemma for \(\mathrm{NTP}_2\) theories: a simpler proof of a result by Chernikov and Kaplan
- More on tree properties
- Local character of Kim-independence
- WEAK CANONICAL BASES IN NSOP THEORIES
- Recursive functions and existentially closed structures
- Model theory of Steiner triple systems
- FORKING, IMAGINARIES, AND OTHER FEATURES OF
- On the number of countable models of a countable NSOP₁ theory without weight
- Elementary equivalence theorem for PAC structures
- 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
- Bounded ultraimaginary independence and its total Morley sequences
- A new Kim's lemma
- Positive indiscernibles
- On algebraically closed fields with a distinguished subfield
- Model-theoretic properties of nilpotent groups and Lie algebras
- Some remarks on Kim-dividing in NATP theories
- Lifting independence along functors
- Generic expansions of geometric theories
- NSOP1 as a dividing line
- Unstable independence from the categorical point of view
- Higher arity stability and the functional order property
- Enriching a predicate and tame expansions of the integers
- Generic multiplicative endomorphism of a field
- On rank not only in \(\mathrm{NSOP}_1\) theories
- Conant-independence and generalized free amalgamation
- On \(\mathrm{NSOP}_2\) theories
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)
