Generic variations of models ofT

DOI10.2178/JSL/1190150146MaRDI QIDQ4779648zbMATH OpenOpenAlexFDO

Authors Andreas Baudisch

Publication date 5 September 2003

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150146

zbMATH Keywords

independence propertyinfinite quantifiermodel companionmodel-complete theoryquantifier eliminationsimple theorystable theorystrict order property

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45)

Recommendations

• Generic structures and simple theories
• Finite variable logic stability and finite models
• Generic trivializations of geometric theories
• Model companions of theories with an automorphism
• Finite axiomatizability and theories with trivial algebraic closure

Cites work

• Generic structures and simple theories
• Model theory and algebra. A memorial tribute to Abraham Robinson

Cited in

(12)

• Generic variations and NTP₁
• Remarks on generic stability in independent theories
• Generic trivializations of geometric theories
• scientific article; zbMATH DE number 3841826 (Why is no real title available?)
• Finitely generic models of T_UH, for certain model companionable theories T
• scientific article; zbMATH DE number 4031665 (Why is no real title available?)
• A Simple Construction of Robinson Equivalence Relations
• Complete Coinductive Theorems. II
• Homogeneous structures with nonuniversal automorphism groups
• Extensions of ordered theories by generic predicates
• THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS
• Adding Skolem functions to simple theories

This page was built for publication: Generic variations of models ofT

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