Simple theories
From MaRDI portal
The authors study simple theories in the sense of \textit{S. Shelah} [Ann. Math. Logic 19, 177-203 (1980; Zbl 0489.03008)]. The Independence Theorem over a model \(M\) is the following: For \(A\supset M\), \(B\supset M\), \(A\) independent from \(B\) over \(M\), \(p\in S(M)\), and \(p_1\in S(A)\), \(p_2\in S(B)\) both nonforking extensions of \(p\) [in the sense of \textit{S. Shelah}, Classification theory and the number of non-isomorphic models. 2nd rev. ed. (1990; Zbl 0713.03013)], then there is \(q\in S(A\cup B)\) which extends both \(p_1\) and \(p_2\) and is also a nonforking extension of \(p\). The authors prove the Independence Theorem for the models of simple theories. Moreover, they prove the following: Theorem. Let \(T\) be an arbitrary theory. Then \(T\) is simple iff \(T\) has a notion of independence \(\Gamma\) which satisfies the Independence Theorem over a model. Moreover, for such a \(\Gamma\) holds: for all \(a\), \(B\), \(A\), \((a,B,A)\in\Gamma\) iff \(tp(a/B)\) does not fork over \(A\). The Independence Theorem is also proved for Lascar strong types. Various notions of rank and their interconnections are considered.
Recommendations
- scientific article; zbMATH DE number 1425669
- A primer of simple theories
- Very simple theories without forking
- n-simple theories
- Simplicity theory
- Simple interpretations among complicated theories
- Simple theories and hyperimaginaries
- An example of a new simple theory
- Random amalgamation of simple theories
- Supersimple theories
Cites work
- Classification theory and the number of non-isomorphic models.
- Forking in Simple Unstable Theories
- Fundamentals of forking
- Groups definable in local fields and pseudo-finite fields
- scientific article; zbMATH DE number 32406 (Why is no real title available?)
- scientific article; zbMATH DE number 40985 (Why is no real title available?)
- scientific article; zbMATH DE number 754210 (Why is no real title available?)
- scientific article; zbMATH DE number 1912564 (Why is no real title available?)
- On the category of models of a complete theory
- Simple unstable theories
- ℵ0 -Categorical Structures Smoothly Approximated by Finite Substructures
Cited in
(only showing first 100 items - show all)- Supersimplicity and quadratic extensions
- Independence and the finite submodel property
- Technical notes on a theory of simplicity
- Generic structures and simple theories
- The number of types in simple theories
- Strongly determined types
- Simple generic structures
- Lovely pairs of models
- On \(\vartriangleleft^{*}\)-maximality.
- _0-categorical structures with a predimension
- Topological dynamics and the complexity of strong types
- On positive local combinatorial dividing-lines in model theory
- Model theoretic dynamics in Galois fashion
- Generic pairs of SU-rank 1 structures
- Simple stable homogeneous expansions of Hilbert spaces
- Model theory of endomorphisms of separably closed fields
- Internality and interpretable automorphism groups in simple theories
- Ax's theorem with an additive character
- An approximate logic for measures
- Simple-like independence relations in abstract elementary classes
- Independence and simplicity in Jonsson theories with abstract geometry
- Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
- On Kim-independence
- Product of invariant types modulo domination-equivalence
- A simple criterion
- On the forking topology of a reduct of a simple theory
- Simplicity and uncountable categoricity in excellent classes
- The finite submodel property and \(\omega\)-categorical expansions of pregeometries
- Banach spaces and groups -- order properties and universal models
- On uncountable hypersimple unidimensional theories
- Elliptic and hyperelliptic curves over supersimple fields in characteristic 2
- Definability in low simple theories
- Hyperimaginaries and automorphism groups
- The prospects for mathematical logic in the twenty-first century
- Galois groups of first order theories
- Canonical forking in AECs
- A Fitting theorem for simple theories
- Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\)
- A remark on strict independence relations
- Simplicity theory
- On subgroups of semi-abelian varieties defined by difference equations
- Simple monadic theories and indiscernibles
- Stable group theory and approximate subgroups
- On enveloping type-definable structures
- More on tree properties
- An example of a new simple theory
- Post-scriptum à “Théories instables”
- Compactness and Independence in Non First Order Frameworks
- On Kueker simple theories
- CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
- Simplicity simplified
- A note on stationarity of types over models in simple theories
- Schlanke Körper (slim fields)
- A geometric introduction to forking and thorn-forking
- 10th Asian Logic Conference
- Weak one-basedness
- On pseudo-finite dimensions
- scientific article; zbMATH DE number 4097365 (Why is no real title available?)
- scientific article; zbMATH DE number 175741 (Why is no real title available?)
- Model theory of difference fields
- scientific article; zbMATH DE number 1065060 (Why is no real title available?)
- The geometry of 1-based minimal types
- 2002 Annual Meeting of the Association for Symbolic Logic
- Group configurations and germs in simple theories
- Modular types in some supersimple theories
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- Counting partial types in simple theories
- scientific article; zbMATH DE number 1522509 (Why is no real title available?)
- Supersimple theories
- Theories with equational forking
- Discouraging results for ultraimaginary independence theory
- Simple stable homogeneous groups
- Properties of forking in ω-free pseudo-algebraically closed fields
- On a classification of theories without the independence property
- Forking and fundamental order in simple theories
- scientific article; zbMATH DE number 1405579 (Why is no real title available?)
- Amalgamation of types in pseudo-algebraically closed fields and applications
- On non-forking spectra
- A separation theorem for simple theories
- Continuity of SU-rank in unidimensional supersimple theories
- Indiscernible extraction and Morley sequences
- Recursive functions and existentially closed structures
- On the descriptive power of probability logic
- FORKING, IMAGINARIES, AND OTHER FEATURES OF
- Strict independence
- Independence in model theory
- Independence in generic incidence structures
- Forking in short and tame abstract elementary classes
- Independence, dimension and continuity in non-forking frames
- Forking and independence in o-minimal theories
- Lovely pairs of models: the non first order case
- Characterizing rosy theories
- One-dimensional asymptotic classes of finite structures
- Properties and consequences of Thorn-independence
- Geometry of forking in simple theories
- 2005 Annual Meeting of the Association for Symbolic Logic
- On PAC and bounded substructures of a stable structure
- Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives
- Pseudofinite structures and simplicity
- Uncountable dense categoricity in cats
This page was built for publication: Simple theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377641)
