The class of completely representable polyadic algebras of infinite dimensions is elementary

DOI10.1007/s00012-014-0307-yzbMath1339.03058OpenAlexW2046961809MaRDI QIDQ485109

Tarek Sayed Ahmed

Publication date: 9 January 2015

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-014-0307-y

zbMATH Keywords

algebraic logicpolyadic algebrascomplete representations

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)

Related Items (7)

On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ 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 brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Notions of representability for cylindric algebras: some algebras are more representable than others ⋮ On complete representations of reducts of polyadic algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Neat embeddings as adjoint situations
• Cylindric-like algebras and algebraic logic
• On complete representations of reducts of polyadic algebras
• Cylindric algebras. Part II
• Martin's axiom, omitting types, and complete representations in algebraic logic
• A construction of cylindric and polyadic algebras from atomic relation algebras
• The class of polyadic algebras has the super amalgamation property
• On complete representations of algebras of logic
• Complete representations in algebraic logic
• Omitting types for finite variable fragments and complete representations of algebras
• Boolean Rings with Isomorphisms Preserving Suprema and Infima
• A complete first-order logic with infinitary predicates
• Representation theory for polyadic algebras

This page was built for publication: The class of completely representable polyadic algebras of infinite dimensions is elementary