Definability in structures of finite valency
From MaRDI portal
Publication:4401437
DOI10.4064/fm-81-2-173-181zbMath0276.02036MaRDI QIDQ4401437
Mikhaĭl G. Peretyat'kin, Ivan Korec, Wolfgang Rautenberg
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214635
05C99: Graph theory
03G15: Cylindric and polyadic algebras; relation algebras
03B99: General logic
03C68: Other classical first-order model theory
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Model-interpretability into trees and applications