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

DOI10.1016/J.JOEMS.2011.08.002zbMATH Open1258.03090OpenAlexW2048585504MaRDI QIDQ450159FDOQ450159

Authors: 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

Recommendations

• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
• Some results about neat reducts
• Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
• On neat reducts of algebras of logic
• scientific article

zbMATH Keywords

completenessforcingrepresentabilityomitting typescylindric algebrafinite-variable fragmentsneat reduct

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Title not available (Why is that?)
• Cylindric algebras. Part II
• Modal languages and bounded fragments of predicate logic
• Title not available (Why is that?)
• Algebraic Logic, Where Does it Stand Today?
• Connections between quasi-projective relation algebras and cylindric algebras
• Algebraization of quantifier logics, an introductory overview
• Relation algebras by games
• Internal cohen extensions
• Title not available (Why is that?)
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
• Amalgamation and interpolation in normal modal logics
• Complete representations in algebraic logic
• On weak and strong interpolation in algebraic logics
• Weakly higher order cylindric algebras and finite axiomatization of the representables
• Epimorphisms in cylindric algebras and definability in finite variable logic
• 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
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Epimorphisms are not surjective, even in simple algebras
• Title not available (Why is that?)
• Omitting types algebraically via cylindric 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
• The super amalgamation property via neat embeddings, and a problem of Henkin and Monk
• Title not available (Why is that?)
• On complete representations of algebras of logic
• The amalgamation property and a problem of Henkin, Monk and Tarski
• Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
• Title not available (Why is that?)
• Step by step – Building representations in algebraic logic
• On representability of neatly embeddable cylindric algebras
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Omitting Types Theorem for first order logic with infinitary relation symbols
• Independence Results in Algebraic Logic
• Neat embeddings, omitting types, and interpolation: an overview
• On neat reducts of algebras of logic
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Some results about neat reducts

Cited In (3)

• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
• Neat embeddings, omitting types, and interpolation: an overview
• Algebras of sentences

This page was built for publication: New perspectives in algebraic logic, from neat embeddings to Erdős graphs

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