Lawvere's elementary theories and polyadic and cylindric algebras

DOI10.4064/fm-66-3-307-328zbMath0212.01603OpenAlexW821856504MaRDI QIDQ5613176

Aubert Daigneault

Publication date: 1970

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214154

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (3)

Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Algebraization of quantifier logics, an introductory overview ⋮ On conceptual completeness of syntactic-semantical systems

This page was built for publication: Lawvere's elementary theories and polyadic and cylindric algebras