Blow Up and Blur Constructions in Algebraic Logic

DOI10.1007/978-3-030-64187-0_14OpenAlexW1514253810MaRDI QIDQ5015978

Tarek Sayed Ahmed

Publication date: 10 December 2021

Published in: Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.5152

zbMATH Keywords

modal logicalgebraic logiccylindric algebrasnon-finite axiomatizabilityomitting typesVaught's theoremblow up and blurclique guarded fragments

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

Complete Representations and Neat Embeddings

Cites Work

• Cylindric-like algebras and algebraic logic
• Relation algebras by games
• Cylindric algebras. Part II
• Atom structures of cylindric algebras and relation algebras
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Non-finite-axiomatizability results in algebraic logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• Complete representations in algebraic logic
• Various notions of represetability for cylindric and polyadic algebras
• Omitting types for finite variable fragments and complete representations of algebras
• Nonfinitizability of classes of representable cylindric algebras

This page was built for publication: Blow Up and Blur Constructions in Algebraic Logic