Solvability of theories of certain classes of elimination graphs

DOI10.1007/BF01069756zbMath0558.05028MaRDI QIDQ3222869

D. Ja. Kesel'man

Publication date: 1982

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

chordal graphsinfinite graphselimination graphsQ-oriented graphs

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Triangulated graphs and the elimination process
• Introduction to model theory and to the metamathematics of algebra

This page was built for publication: Solvability of theories of certain classes of elimination graphs