Complete Coinductive Theorems. II

DOI10.2307/2001794zbMath0739.03022OpenAlexW4246960362MaRDI QIDQ3984293

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

zbMATH Keywords

forkingsaturated modelsprime modelaxiomatization by \(\exists \forall\)- sentencescomplete coinductive theoriestree-decomposable

Mathematics Subject Classification ID

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

Related Items (3)

Some coinductive graphs ⋮ Triviality, NDOP and stable varieties ⋮ Complete Coinductive Theories. I

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