Non-finite-axiomatizability results in algebraic logic
From MaRDI portal
Publication:4032865
Recommendations
Cites work
- scientific article; zbMATH DE number 3353203 (Why is no real title available?)
- scientific article; zbMATH DE number 3196240 (Why is no real title available?)
- scientific article; zbMATH DE number 3196257 (Why is no real title available?)
- Finitary Algebraic Logic
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Nonfinitizability of classes of representable polyadic algebras
- On representable relation algebras
- On varieties of cylindric algebras with applications to logic
Cited in
(37)- Algebraization of quantifier logics, an introductory overview
- Weakly representable atom structures that are not strongly representable, with an application to first order logic
- scientific article; zbMATH DE number 3974957 (Why is no real title available?)
- A completeness result for relation algebra with binders
- Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them
- A non-compactness phenomenon in logics with hyperintensional predication
- Nonfinite axiomatizability results for cylindric and relation algebras
- scientific article; zbMATH DE number 2174391 (Why is no real title available?)
- scientific article; zbMATH DE number 724624 (Why is no real title available?)
- Cylindric modal logic
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Omitting types for algebraizable extensions of first order logic
- scientific article; zbMATH DE number 5295707 (Why is no real title available?)
- scientific article; zbMATH DE number 475187 (Why is no real title available?)
- Finitary Algebraic Logic
- Finite axiomatizability and theories with trivial algebraic closure
- Axiomatizing logics closely related to varieties
- A non-finitary sentential logic that is elementarily algebraizable
- On the search for a finitizable algebraization of first order logic
- Beyond Rasiowa's algebraic approach to non-classical logics
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- Non Σn axiomatizable almost strongly minimal theories
- Notions of representability for cylindric algebras: some algebras are more representable than others
- Omitting Types in Fragments and Extensions of First Order Logic
- A non-finitizability result in algebraic logic
- Algebraic Logic, Where Does it Stand Today?
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- Blow Up and Blur Constructions in Algebraic Logic
- Neat embeddings, omitting types, and interpolation: an overview
- Complexity of equational theory of relational algebras with standard projection elements
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- Algebraische Konsequenzen des Determiniertheits-Axioms. (Algebraic consequences of the Axiom of Determinacy)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Number of extensions of non-Fregean logics
- A new hierarchy of infinitary logics in abstract algebraic logic
- Representation results for non-cumulative logics
- Inconsistency lemmas in 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)
