Cylindric algebras with terms

DOI10.2307/2274669zbMath0705.03031OpenAlexW2109655891MaRDI QIDQ3484831

Norman Feldman

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274669

zbMATH Keywords

representation theoremcylindric algebraslocally finite algebrasalgebras with Skolem functionssubstitution operations on termstwo-sorted algebraic version of logic

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Unnamed Item ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ Polyadic algebras with terms: A signature-free approach ⋮ Polyadic and cylindric algebras of sentences