The polyadic generalization of the Boolean axiomatization of fields of sets
From MaRDI portal
Publication:3116577
DOI10.1090/S0002-9947-2011-05332-8zbMath1253.03092MaRDI QIDQ3116577
Publication date: 24 February 2012
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Other algebras related to logic (03G25) Logical aspects of Boolean algebras (03G05) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Abstract elementary classes and related topics (03C48) Abstract model theory (03C95)
Related Items
Quasi-polyadic algebras and their dual position ⋮ Representations of polyadic-like equality algebras ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ On the representability of neatly embeddable CA's by cylindric relativized algebras ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ How many varieties of cylindric algebras are there ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Probabilities defined on standard and non-standard cylindric set algebras ⋮ Neat embeddings as adjoint situations ⋮ Cylindric algebras and finite polyadic algebras ⋮ Non-standard stochastics with a first order algebraization ⋮ On the definition and the representability of quasi-polyadic equality algebras ⋮ Existence of partial transposition means representability in cylindric algebras
Cites Work
- Unnamed Item
- On the representability of neatly embeddable CA's by cylindric relativized algebras
- Cylindric-like algebras and algebraic logic
- Relation algebras by games
- On some developments in the representation theory of cylindric-like algebras
- On complete representations of reducts of polyadic algebras
- Epimorphisms in cylindric algebras and definability in finite variable logic
- Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
- Existence of partial transposition means representability in cylindric algebras
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Galois Theory for Cylindric Algebras and its Applications
- Step by step – Building representations in algebraic logic
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
- On Cylindric Algebras Satisfying Merry-go-round Properties
- Nonfinitizability of classes of representable cylindric algebras
- Representation theory for polyadic algebras
This page was built for publication: The polyadic generalization of the Boolean axiomatization of fields of sets