The polyadic generalization of the Boolean axiomatization of fields of sets

DOI10.1090/S0002-9947-2011-05332-8MaRDI QIDQ3116577zbMATH OpenFDO

Authors Miklós Ferenczi

Publication date 24 February 2012

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9947-2011-05332-8

zbMATH Keywords

cylindric algebrafield of setspolyadic algebrarepresentationStone theorem

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Abstract elementary classes and related topics (03C48) Abstract model theory (03C95) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25)

Recommendations

• On the definition and the representability of quasi-polyadic equality algebras
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• scientific article; zbMATH DE number 4091502
• scientific article; zbMATH DE number 3989411
• Canonical Relativized Cylindric Set Algebras

Cites work

• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Cylindric-like algebras and algebraic logic
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Existence of partial transposition means representability in cylindric algebras
• Galois Theory for Cylindric Algebras and its Applications
• scientific article; zbMATH DE number 67043 (Why is no real title available?)
• Nonfinitizability of classes of representable cylindric algebras
• On complete representations of reducts of polyadic algebras
• On Cylindric Algebras Satisfying Merry-go-round Properties
• On some developments in the representation theory of cylindric-like algebras
• On the representability of neatly embeddable CA's by cylindric relativized algebras
• Relation algebras by games
• Representation theory for polyadic algebras
• Step by step – Building representations in algebraic logic

Cited in

(20)

• Generic absoluteness and Boolean names for elements of a Polish space
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
• Cylindric algebras and finite polyadic algebras
• Quasi-polyadic algebras and their dual position
• Representations of polyadic-like equality algebras
• On the definition and the representability of quasi-polyadic equality algebras
• Generalized hex and logical characterizations of polynomial space
• Existence of partial transposition means representability in cylindric algebras
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• scientific article; zbMATH DE number 4091502 (Why is no real title available?)
• scientific article; zbMATH DE number 3993586 (Why is no real title available?)
• Probabilities defined on standard and non-standard cylindric set algebras
• Neat embeddings as adjoint situations
• How many varieties of cylindric algebras are there
• On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
• On the representability of neatly embeddable CA's by cylindric relativized algebras
• On the algebraization of Henkin‐type second‐order logic
• Transposition of variables is hard to axiomatize
• Non-standard stochastics with a first order algebraization

This page was built for publication: The polyadic generalization of the Boolean axiomatization of fields of sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3116577)