Some coinductive graphs
From MaRDI portal
Publication:917541
DOI10.1007/BF01651325zbMath0705.03014OpenAlexW1995301233MaRDI QIDQ917541
Publication date: 1990
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01651325
Graph theory (05C99) Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Basic properties of first-order languages and structures (03C07)
Related Items
Cites Work
- Graphs determined by their finite induced subgraphs
- Second-order quantifiers and the complexity of theories
- Complete Coinductive Theories. I
- Complete theories with only universal and existential axioms
- Relational structures determined by their finite induced substructures
- Complete Coinductive Theorems. II
- Coinductive ℵ0-categorical theories