On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results

DOI10.18778/0138-0680.2021.17zbMath1529.03278MaRDI QIDQ6043016

Tarek Sayed Ahmed

Publication date: 4 May 2023

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

relation algebrasalgebraic logiccylindric algebraspolyadic algebrascomplete representations

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The class of completely representable polyadic algebras of infinite dimensions is elementary
• Atom structures of cylindric algebras and relation algebras
• Representations of polyadic-like equality algebras
• A note on neat reducts
• The class of neat reducts is not elementary
• The class of 2-dimensional neat reducts is not elementary
• Strongly representable atom structures of relation algebras
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• The polyadic generalization of the Boolean axiomatization of fields of sets
• On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Nonfinite axiomatizability results for cylindric and relation algebras
• Complete representations in algebraic logic
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Relation algebra reducts of cylindric algebras and complete representations
• Omitting types for finite variable fragments and complete representations of algebras
• Algebraic Logic, Where Does it Stand Today?
• Nonfinitizability of classes of representable polyadic algebras
• Representation theory for polyadic algebras

This page was built for publication: On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results