Complete representations in algebraic logic
From MaRDI portal
Recommendations
Cites work
Cited in
(48)- On complete representations of reducts of polyadic algebras
- Atom structures of cylindric algebras and relation algebras
- Subcompletions of representable relation algebras
- The finitely axiomatizable complete theories of non-associative arrow frames
- Functionally dense relation algebras
- Axiomatizing complex algebras by games.
- A representation theorem for measurable relation algebras
- A construction of cylindric and polyadic algebras from atomic relation algebras
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Difference-restriction algebras of partial functions: axiomatisations and representations
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- Representability is not decidable for finite relation algebras
- Strongly representable atom structures of relation algebras
- A curve and its abstract Jacobian
- Positive fragments of relevance logic and algebras of binary relations
- Complete representation by partial functions for composition, intersection and anti-domain
- Strongly representable atom structures of cylindric algebras
- On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- Games in algebraic logic: axiomatisations and beyond
- On complete representations of algebras of logic
- Omitting types for algebraizable extensions of first order logic
- Completely representable lattices
- Step by step – Building representations in algebraic logic
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- On axiomatising products of Kripke frames
- scientific article; zbMATH DE number 1790851 (Why is no real title available?)
- Completely Representable Relation Algebras
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Blow Up and Blur Constructions in Algebraic Logic
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
- Neat embeddings as adjoint situations
- Geometrical representation theorems for cylindric-type algebras
- Relation algebra reducts of cylindric algebras and complete representations
- Omitting types for finite variable fragments and complete representations of algebras
- Classes of algebras that are not closed under completions
- Algebraic Logic, Where Does it Stand Today?
- Neat embeddings, omitting types, and interpolation: an overview
- Relation algebras from cylindric algebras. I
- Omitting Types in Fragments and Extensions of First Order Logic
- On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
- Omitting types algebraically and more about amalgamation for modal cylindric algebras
- Notions of representability for cylindric algebras: some algebras are more representable than others
- Complete Representations and Neat Embeddings
- Complete representation by partial functions for signatures containing antidomain restriction
- Some results about neat reducts
This page was built for publication: Complete representations in algebraic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372908)
