Stable theories with a new predicate
Let \(M\) be an \(L\)-structure and \(A\) be an infinite subset of \(M\). Then \(M^A\) denotes the structure on \(A\) which has a name \(R_\varphi\) for every \(\emptyset\)-definable relation \(\varphi(M) \upharpoonright A\). Its language is \(\{R_\varphi \mid\varphi\) is an \(L\)-formula\}. \(M_A\) denotes the enrichment of \(M\) with a new predicate for \(A\). \(A\) is small if \(N_B\equiv M_A\) for some \(B\) such that for every finite subset \(b\) of \(N\) every \(L\)-type over \(Bb\) is realized in \(N\). A formula \(\varphi(x,y)\) has the finite cover property (f.c.p.) in \(M\) if for all natural numbers \(k\) there is a set of \(\varphi\)-formulas \(\{\varphi (x,m_i)\mid i\in I\}\) that is not consistent in \(M\) such that every of its \(k\)-element subsets is consistent in \(M\). \(M\) has the f.c.p. if some formula has the f.c.p. in \(M\). The authors prove the following: Let \(A\) be a small subset of \(M\). Then, 1) If \(M\) does not have the f.c.p. then, for every \(\lambda\geq|L|\), if both \(M\) and \(M^A\) are \(\lambda\)-stable then \(M_A\) is \(\lambda\)-stable; 2) If \(M\) is stable and \(M^A\) does not have the f.c.p. then \(M_A\) is stable.
- Stable theories without dense forking chains
- Amalgamation properties and finite models in \(L^n\)-theories
- On superstable expansions of free abelian groups
- Generic pairs of SU-rank 1 structures
- Externally definable sets and dependent pairs
- Open core and small groups in dense pairs of topological structures
- On expansions of \((\mathbf{Z},+,0)\)
- A.D. Taimanov and model theory in Kazakhstan
- Tame expansions of \({\omega}\)-stable theories and definable groups
- Stability and sparsity in sets of natural numbers
- Vapnik-Chervonenkis density in some theories without the independence property. I
- Dense codense predicates and the \(\mathrm{NTP}_{2}\)
- The independence property in generalized dense pairs of structures
- Stable embeddedness and NIP
- ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
- Mann pairs
- scientific article; zbMATH DE number 67687 (Why is no real title available?)
- scientific article; zbMATH DE number 175748 (Why is no real title available?)
- Stability theory, permutations of indiscernibles, and embedded finite models
- On complex exponentiation restricted to the integers
- Number fields and divisible groups via model theory
- A preservation theorem for theories without the tree property of the first kind
- Supersimple structures with a dense independent subset
- Algebraic numbers with elements of small height
- Weakly minimal groups with a new predicate
- Externally definable sets and dependent pairs. II
- Local homogeneity
- Co-theory of sorted profinite groups for PAC structures
- On algebraically closed fields with a distinguished subfield
- Absolute indiscernibility
- Enriching a predicate and tame expansions of the integers
- 1-ary functions and the f.c.p
This page was built for publication: Stable theories with a new predicate
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758050)
