On some open problems in Algebraic logic

2013/04/03 by Tarek Sayed Ahmed, Ahmed, Tarek Sayed · 7 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Logic, Reasoning, and Knowledge #math.LO

paper · pdf · doi:10.48550/arxiv.1304.1149

arXiv admin note: text overlap with arXiv:1302.1368, arXiv:1303.7386, arXiv:1301.5850, arXiv:1304.0619, arXiv:1304.0785, arXiv:1304.0883

arxiv created 2013/04/03 · arxiv updated 2013/04/05

Abstract

Several open problems in algebraic logic are solved.

Citations

• On the finitizability problem in algebraic logic; recent results
• What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one?
• Atomic polyadic algebras of infinite dimension are completely representable
• On complete representability of Pinter's algebras and related structures
• Neat atom structures
• An instance of Vaught's conjecture using algebraic logic

Cited by

• Some metalogical properties for infinitary predicate topological logic
• Results on Polyadic Algebras
• Blow up and Blur constructions in Algebraic Logic
• Strongly representable algebras
• Various interplays between relation and cylindric algebras
• On completions, neat embeddings and omittings types, yet again
• Strongly representable atom structures and neat embeddings

Related

• Algebraic Logic, Varieties of Algebras and Algebraic Varieties
• On the finitizability problem in algebraic logic; recent results
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Logic and operator algebras
• Open problems on open algebraic varieties