Some coinductive graphs

DOI10.1007/BF01651325zbMath0705.03014OpenAlexW1995301233MaRDI QIDQ917541

Alistair H. Lachlan

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

zbMATH Keywords

coinductive graphscoinductive theoryuniversal theory of graphs

Mathematics Subject Classification ID

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 (1)

Triviality, NDOP and stable varieties

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 ℵ₀-categorical theories

This page was built for publication: Some coinductive graphs