Random amalgamation of simple theories

DOI10.1002/1521-3870(200101)47:1%3C45::AID-MALQ45%3E3.0.CO;2-AMaRDI QIDQ2707070zbMATH OpenFDO

Authors Akito Tsuboi

Publication date 28 August 2001

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200101)47:1%3C45::AID-MALQ45%3E3.0.CO;2-A

zbMATH Keywords

amalgamationsimple theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52)

Review text

The paper under review deals with two (complete) simple theories \(T_1\) and \(T_2\) in disjoint languages \(L_1\) and \(L_2\), and examines the following question: Is there any (complete) simple theory \(T\) extending \(T_1 \cup T_2\) in \(L_1 \cup L_2\)? The author provides a positive answer when \(T_1\) eliminates the quantifier \(\exists^{\infty}\), and \(T_2\) has \(U\)-rank 1 and satisfies \(\operatorname {acl}(A) = A\) for every subset \(A\) (notice that this implies that \(T_2\) eliminates \(\exists^{\infty}\) as well).

Recommendations

• n-simple theories
• Generalized amalgamation and \(n\)-simplicity
• From Stability to Simplicity
• La fusion libre : le cas simple
• Generalized amalgamation and homogeneity

Cited in

(4)

• Simple theories
• Adding linear orders
• An example of a new simple theory
• Preservation of NATP

This page was built for publication: Random amalgamation of simple theories

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