Complete Coinductive Theorems. II

DOI10.2307/2001794zbMATH Open0739.03022OpenAlexW4246960362MaRDI QIDQ3984293FDOQ3984293

Authors: Alistair H. Lachlan 

Publication date: 27 June 1992

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2001794

Recommendations

• Complete Coinductive Theories. I
• A new proof of quantifier elimination of complete forked trees
• Publication:5749279
• Complete theories with only universal and existential axioms
• scientific article; zbMATH DE number 3841825
• The Stable Forking Conjecture in Homogeneous Model Theory
• Forking and fundamental order in simple theories
• Generic variations of models ofT
• scientific article; zbMATH DE number 4083594
• scientific article; zbMATH DE number 3843729

zbMATH Keywords

forkingprime modelsaturated modelsaxiomatization by \(\exists \forall\)- sentencescomplete coinductive theoriestree-decomposable

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Cited In (6)

• A coinductive approach to computing with compact sets
• Generalized decomposability notions for first-order theories
• Complete Coinductive Theories. I
• Some coinductive graphs
• Coinductive formulas and a many-sorted interpolation theorem
• Triviality, NDOP and stable varieties

This page was built for publication: Complete Coinductive Theorems. II

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