Some results about neat reducts
From MaRDI portal
Publication:992010
DOI10.1007/S00012-010-0062-7zbMATH Open1204.03057OpenAlexW1997288099MaRDI QIDQ992010FDOQ992010
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 paperamalgamationalgebraic logiccomplete representationcylindric algebraneat reductpolyadic algebra
Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Cylindric algebras. Part II
- Title not available (Why is that?)
- Algebraic Logic, Where Does it Stand Today?
- Connections between quasi-projective relation algebras and cylindric algebras
- Title not available (Why is that?)
- Internal cohen extensions
- Title not available (Why is that?)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Amalgamation and interpolation in normal modal logics
- Complete representations in algebraic logic
- On weak and strong interpolation in algebraic logics
- Epimorphisms in cylindric algebras and definability in finite variable logic
- 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 2-dimensional neat reducts is not elementary
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Relation algebra reducts of cylindric algebras and complete representations
- Omitting types for finite variable fragments and complete representations of algebras
- Title not available (Why is that?)
- An Omitting Types Theorem for first order logic with infinitary relation symbols
- Neat embeddings, omitting types, and interpolation: an overview
- Amalgamation, interpolation and epimorphisms in algebraic logic
- On complete representations of reducts of polyadic algebras
- Representation theory for polyadic algebras
- The class of neat reducts is not elementary
- On some developments in the representation theory of cylindric-like algebras
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Categoricity regained
- A Characterization of the Least Cardinal for which the Baire Category Theorem Fails
Cited In (6)
- Varying interpolation and amalgamation in polyadic MV-algebras
- Title not available (Why is that?)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Neat embeddings as adjoint situations
- Representations of polyadic-like equality algebras
- The class of 2-dimensional neat reducts is not elementary
Recommendations
- On neat reducts of reducts of cylindric algebras 👍 👎
- Neat reducts and neat embeddings in cylindric algebras 👍 👎
- Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts 👍 👎
- The class of neat reducts is not elementary 👍 👎
- On Neat Reducts and Amalgamation 👍 👎
This page was built for publication: Some results about neat reducts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q992010)