The class of completely representable polyadic algebras of infinite dimensions is elementary
From MaRDI portal
Publication:485109
DOI10.1007/s00012-014-0307-yzbMath1339.03058MaRDI QIDQ485109
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
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