Non-finite-axiomatizability results in algebraic logic
From MaRDI portal
Publication:4032865
DOI10.2307/2275434zbMath0772.03032OpenAlexW2005985369MaRDI QIDQ4032865
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
relation algebrascylindric algebrasfinitizabilityextensions of relation set algebrasfinite-schema axiomatizability
Related Items (15)
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Cylindric modal logic ⋮ Omitting Types in Fragments and Extensions of First Order Logic ⋮ Weakly representable atom structures that are not strongly representable, with an application to first order logic ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Notions of representability for cylindric algebras: some algebras are more representable than others ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ A Completeness Result for Relation Algebra with Binders ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Omitting types for algebraizable extensions of first order logic ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ Blow Up and Blur Constructions in Algebraic Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On varieties of cylindric algebras with applications to logic
- Finite equational bases for finite algebras in a congruence-distributive equational class
- On representable relation algebras
- Finitary Algebraic Logic
- Nonfinitizability of classes of representable polyadic algebras
This page was built for publication: Non-finite-axiomatizability results in algebraic logic
