Non-finite-axiomatizability results in algebraic logic

DOI10.2307/2275434zbMATH Open0772.03032OpenAlexW2005985369MaRDI QIDQ4032865FDOQ4032865

Authors: Balázs Biró 

Publication date: 1 April 1993

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

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

Recommendations

• Finite schematizable algebraic logic
• Finitary Algebraic Logic
• A non-finitizability result in algebraic logic
• scientific article; zbMATH DE number 868093
• scientific article; zbMATH DE number 638619

zbMATH Keywords

relation algebrascylindric algebrasfinitizabilityextensions of relation set algebrasfinite-schema axiomatizability

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Finitary Algebraic Logic
• Title not available (Why is that?)
• Finite equational bases for finite algebras in a congruence-distributive equational class
• On representable relation algebras
• Nonfinitizability of classes of representable polyadic algebras
• On varieties of cylindric algebras with applications to logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (36)

• Title not available (Why is that?)
• Algebraische Konsequenzen des Determiniertheits-Axioms. (Algebraic consequences of the Axiom of Determinacy)
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• A Completeness Result for Relation Algebra with Binders
• Weakly representable atom structures that are not strongly representable, with an application to first order logic
• Cylindric modal logic
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Algebraic Logic, Where Does it Stand Today?
• A non-compactness phenomenon in logics with hyperintensional predication
• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
• Number of extensions of non-Fregean logics
• Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them
• Non Σ_n axiomatizable almost strongly minimal theories
• Neat embeddings, omitting types, and interpolation: an overview
• Representation results for non-cumulative logics
• Inconsistency lemmas in algebraic logic
• Algebraization of quantifier logics, an introductory overview
• Notions of representability for cylindric algebras: some algebras are more representable than others
• Omitting Types in Fragments and Extensions of First Order Logic
• Blow Up and Blur Constructions in Algebraic Logic
• Title not available (Why is that?)
• Finite axiomatizability and theories with trivial algebraic closure
• Axiomatizing logics closely related to varieties
• On the search for a finitizable algebraization of first order logic
• A non-finitary sentential logic that is elementarily algebraizable
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finitary Algebraic Logic
• Beyond Rasiowa's algebraic approach to non-classical logics
• Omitting types for algebraizable extensions of first order logic
• Complexity of equational theory of relational algebras with standard projection elements
• Nonfinite axiomatizability results for cylindric and relation algebras
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
• A new hierarchy of infinitary logics in abstract algebraic logic

This page was built for publication: Non-finite-axiomatizability results in algebraic logic

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