Complete representations in algebraic logic
From MaRDI portal
Publication:4372908
DOI10.2307/2275574zbMath0893.03025OpenAlexW2171216899MaRDI QIDQ4372908
Robin Hirschl, I. M. Hodkinson
Publication date: 17 December 1997
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275574
Boolean algebrasrelation algebrascylindric algebrascomplete representationelementary classesgame-theoretic framework
Applications of game theory (91A80) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ Subcompletions of representable relation algebras ⋮ Atom structures of cylindric algebras and relation algebras ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ 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 ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ 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 ⋮ Completely representable lattices ⋮ Complete Representations and Neat Embeddings ⋮ Representability is not decidable for finite relation algebras ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Omitting types for finite variable fragments and complete representations of algebras ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ The class of completely representable polyadic algebras of infinite dimensions is elementary ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Neat embeddings as adjoint situations ⋮ Functionally dense relation algebras ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Strongly representable atom structures of relation algebras ⋮ Some results about neat reducts ⋮ Relation algebras from cylindric algebras. I ⋮ A representation theorem for measurable relation algebras ⋮ On complete representations of reducts of polyadic algebras ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Strongly representable atom structures of cylindric algebras ⋮ 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 ⋮ On axiomatising products of Kripke frames
Cites Work
