Complete Coinductive Theories. I
From MaRDI portal
Publication:3486554
DOI10.2307/2001343zbMath0706.03034MaRDI QIDQ3486554
Publication date: 1990
Full work available at URL: https://doi.org/10.2307/2001343
Related Items
Some coinductive graphs, An approximate Herbrand’s theorem and definable functions in metric structures
Cites Work
- Graphs determined by their finite induced subgraphs
- Second-order quantifiers and the complexity of theories
- Ramsey quantifiers and the finite cover property
- Complete theories with only universal and existential axioms
- Stable Finitely Homogeneous Structures
- Relational structures determined by their finite induced substructures
- Complete Coinductive Theorems. II
- On the number of minimal models
- Finitely axiomatizable ℵ1 categorical theories
- Coinductive ℵ0-categorical theories