New perspectives in algebraic logic, from neat embeddings to Erdős graphs

DOI10.1016/j.joems.2011.08.002zbMath1258.03090MaRDI QIDQ450159

Tarek Sayed Ahmed

Publication date: 13 September 2012

Published in: Journal of the Egyptian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.joems.2011.08.002

zbMATH Keywords

representability; completeness; forcing; finite-variable fragments; omitting types; cylindric algebra; neat reduct

Mathematics Subject Classification ID

03G15: Cylindric and polyadic algebras; relation algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Neat embeddings, omitting types, and interpolation: an overview
• Relation algebras by games
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Some results about neat reducts
• Connections between quasi-projective relation algebras and cylindric algebras
• Weakly higher order cylindric algebras and finite axiomatization of the representables
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Cylindric algebras. Part II
• The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• Amalgamation and interpolation in normal modal logics
• Algebraization of quantifier logics, an introductory overview
• Modal languages and bounded fragments of predicate logic
• Interpolation and amalgamation; pushing the limits. I
• Martin's axiom, omitting types, and complete representations in algebraic logic
• Finitary polyadic algebras from cylindric algebras
• Classes without the amalgamation property
• Amalgamation, congruence-extension, and interpolation properties in algebras
• On amalgamation of reducts of polyadic algebras
• A note on neat reducts
• The class of 2-dimensional neat reducts is not elementary
• Epimorphisms are not surjective, even in simple algebras
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
• The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
• The class of polyadic algebras has the super amalgamation property
• Polyadic and cylindric algebras of sentences
• An Interpolation Theorem for First Order Logic with Infinitary Predicates
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• The Class SNr3CAk is Not Closed Under Completions
• On complete representations of algebras of logic
• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
• Step by step – Building representations in algebraic logic
• Complete representations in algebraic logic
• On representability of neatly embeddable cylindric algebras
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Erdős Graphs Resolve Fine's Canonicity Problem
• Three interpolation theorems for typeless logics
• Relation algebra reducts of cylindric algebras and complete representations
• Omitting types for finite variable fragments and complete representations of algebras
• Representability and amalgamation for Heyting polyadic algebras
• Amalgamation in universal algebraic logic
• An Omitting Types Theorem for first order logic with infinitary relation symbols
• Algebraic Logic, Where Does it Stand Today?
• On weak and strong interpolation in algebraic logics
• Independence Results in Algebraic Logic
• Internal cohen extensions
• On neat reducts of algebras of logic