Some coinductive graphs
From MaRDI portal
Publication:917541
DOI10.1007/BF01651325zbMath0705.03014MaRDI 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
05C99: Graph theory
03C13: Model theory of finite structures
03C45: Classification theory, stability, and related concepts in model theory
03C07: Basic properties of first-order languages and structures
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