Cylindric algebras with terms

DOI10.2307/2274669MaRDI QIDQ3484831zbMATH OpenOpenAlexFDO

Authors 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

algebras with Skolem functionscylindric algebraslocally finite algebrasrepresentation theoremsubstitution operations on termstwo-sorted algebraic version of logic

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 67024
• scientific article; zbMATH DE number 1735915
• On some developments in the representation theory of cylindric-like algebras
• Algebraization of quantifier logics, an introductory overview
• scientific article; zbMATH DE number 475199

Cited in

(9)

• Algebraization of quantifier logics, an introductory overview
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Polyadic and cylindric algebras of sentences
• scientific article; zbMATH DE number 67024 (Why is no real title available?)
• scientific article; zbMATH DE number 67037 (Why is no real title available?)
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• Polyadic algebras with terms: a signature-free approach
• Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras
• How many varieties of cylindric algebras are there

This page was built for publication: Cylindric algebras with terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3484831)