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

DOI10.1016/J.JOEMS.2011.08.002MaRDI QIDQ450159zbMATH OpenOpenAlexFDO

Authors Tarek Sayed Ahmed

Publication date 13 September 2012

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

completenessforcingrepresentabilityomitting typescylindric algebrafinite-variable fragmentsneat reduct

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

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 DE number 5557947

Cites work

• scientific article; zbMATH DE number 5539272 (Why is no real title available?)
• scientific article; zbMATH DE number 49239 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1747697 (Why is no real title available?)
• scientific article; zbMATH DE number 6287557 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• A note on neat reducts
• Algebraic Logic, Where Does it Stand Today?
• Algebraization of quantifier logics, an introductory overview
• Amalgamation and interpolation in normal modal logics
• Amalgamation in universal algebraic logic
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Amalgamation, interpolation and epimorphisms in algebraic logic
• An Interpolation Theorem for First Order Logic with Infinitary Predicates
• An Omitting Types Theorem for first order logic with infinitary relation symbols
• Classes of algebras that are not closed under completions
• Classes without the amalgamation property
• Complete representations in algebraic logic
• Completions, complete representations and omitting types
• Connections between quasi-projective relation algebras and cylindric algebras
• Cylindric algebras. Part II
• 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
• Epimorphisms are not surjective, even in simple algebras
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Erdős Graphs Resolve Fine's Canonicity Problem
• Finitary polyadic algebras from cylindric algebras
• Independence Results in Algebraic Logic
• Internal cohen extensions
• Interpolation and amalgamation; pushing the limits. I
• Martin's axiom, omitting types, and complete representations in algebraic logic
• Modal languages and bounded fragments of predicate logic
• Neat embeddings, omitting types, and interpolation: an overview
• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
• Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
• Neat reducts and neat embeddings in cylindric algebras
• Omitting types algebraically via cylindric algebras
• Omitting types for finite variable fragments and complete representations of algebras
• On amalgamation of reducts of polyadic algebras
• On complete representations of algebras of logic
• On neat reducts of algebras of logic
• On representability of neatly embeddable cylindric algebras
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
• On weak and strong interpolation in algebraic logics
• Polyadic and cylindric algebras of sentences
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Relation algebra reducts of cylindric algebras and complete representations
• Relation algebras by games
• Representability and amalgamation for Heyting polyadic algebras
• Some results about neat reducts
• Step by step – Building representations in algebraic logic
• The Class SNr3CAk is Not Closed Under Completions
• The amalgamation property and a problem of Henkin, Monk and Tarski
• The class of 2-dimensional neat reducts is not elementary
• The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
• The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
• The class of polyadic algebras has the super amalgamation property
• The super amalgamation property via neat embeddings, and a problem of Henkin and Monk
• Three interpolation theorems for typeless logics
• Variations on Martin's axiom and omitting types from algebraic logic, lattice theory and topology
• Varieties of algebras without the amalgamation property
• Weakly higher order cylindric algebras and finite axiomatization of the representables

Cited in

(4)

• 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
• Neat embeddings as adjoint situations
• 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)