Some results about neat reducts
From MaRDI portal
Publication:992010
DOI10.1007/s00012-010-0062-7zbMath1204.03057OpenAlexW1997288099MaRDI QIDQ992010
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
survey paperalgebraic logicamalgamationcomplete representationcylindric algebraneat reductpolyadic algebra
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
