Complete Coinductive Theorems. II
From MaRDI portal
Publication:3984293
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
forkingprime modelsaturated modelsaxiomatization by \(\exists \forall\)- sentencescomplete coinductive theoriestree-decomposable
Cited In (6)
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)