Definability of classes of graphs in the first order predicate calculus with identity

DOI10.1007/BF02123839zbMath0312.02044OpenAlexW4251301313MaRDI QIDQ1219882

Leszek Koncewicz

Publication date: 1973

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123839

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classical first-order logic (03B10) Graph theory (05C99) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• Introduction to model theory and to the metamathematics of algebra
• On the metamathematics of algebra
• The Brauer-Manin Obstruction and III[2]

This page was built for publication: Definability of classes of graphs in the first order predicate calculus with identity