Finite schematizable algebraic logic

DOI10.1093/JIGPAL/5.5.699MaRDI QIDQ4357323zbMATH OpenOpenAlexFDO

Authors Ildikó Sain, Viktor Gyuris

Publication date 25 September 1997

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/09232ebd47897ef57c55d54d070a4ac48c774292

zbMATH Keywords

representable cylindric algebrasnon-axiomatizabilityfinitary algebraization of first order logicfinite schemafinite schema axiomatizable classes of algebrasrepresentable quasi-polyadic algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Algebraic logic (03G99)

Recommendations

• Non-finite-axiomatizability results in algebraic logic
• scientific article; zbMATH DE number 868093
• scientific article; zbMATH DE number 67043
• scientific article; zbMATH DE number 638619

Cited in

(19)

• A short proof of representability of fork algebras
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• Finite sum-product logic
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Varieties of algebras without the amalgamation property
• An omitting types theorem in finite schematizable algebraic logic
• Omitting types for finite variable fragments and complete representations of algebras
• Neat embeddings, omitting types, and interpolation: an overview
• scientific article; zbMATH DE number 67048 (Why is no real title available?)
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• Non-finite-axiomatizability results in algebraic logic
• On the search for a finitizable algebraization of first order logic
• How many varieties of cylindric algebras are there
• scientific article; zbMATH DE number 67043 (Why is no real title available?)
• scientific article; zbMATH DE number 475187 (Why is no real title available?)
• On the nonaxiomatizability of some logics by finitely many schemas
• Finitary Algebraic Logic
• Omitting types for algebraizable extensions of first order logic

This page was built for publication: Finite schematizable algebraic logic

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