Some results about neat reducts

DOI10.1007/s00012-010-0062-7zbMath1204.03057OpenAlexW1997288099MaRDI QIDQ992010

Tarek Sayed Ahmed

Publication date: 8 September 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-010-0062-7

zbMATH Keywords

survey paperalgebraic logicamalgamationcomplete representationcylindric algebraneat reductpolyadic algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (4)

Representations of polyadic-like equality algebras ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Neat embeddings as adjoint situations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Neat embeddings, omitting types, and interpolation: an overview
• On some developments in the representation theory of cylindric-like algebras
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Connections between quasi-projective relation algebras and cylindric algebras
• On complete representations of reducts of polyadic algebras
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Cylindric algebras. Part II
• Amalgamation and interpolation in normal modal logics
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Interpolation and amalgamation; pushing the limits. I
• Martin's axiom, omitting types, and complete representations in algebraic logic
• 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 neat reducts is not elementary
• The class of 2-dimensional neat reducts is not elementary
• The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
• 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
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Categoricity regained
• Complete representations in algebraic logic
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Erdős Graphs Resolve Fine's Canonicity Problem
• A Characterization of the Least Cardinal for which the Baire Category Theorem Fails
• Relation algebra reducts of cylindric algebras and complete representations
• Omitting types for finite variable fragments and complete representations of algebras
• 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
• Internal cohen extensions
• Representation theory for polyadic algebras

This page was built for publication: Some results about neat reducts