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

DOI10.1007/s00012-014-0307-yzbMath1339.03058MaRDI 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 logic; polyadic algebras; complete representations

Mathematics Subject Classification ID

03C05: Equational classes, universal algebra in model theory

03G15: Cylindric and polyadic algebras; relation algebras

03C40: Interpolation, preservation, definability

Related Items

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

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