Definability in structures of finite valency
From MaRDI portal
Publication:4401437
DOI10.4064/fm-81-2-173-181zbMath0276.02036OpenAlexW999833448MaRDI 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
Graph theory (05C99) Cylindric and polyadic algebras; relation algebras (03G15) General logic (03B99) Other classical first-order model theory (03C68)
Related Items (2)
Model-interpretability into trees and applications ⋮ A list of arithmetical structures complete with respect to the first-order definability
This page was built for publication: Definability in structures of finite valency