Some results about neat reducts
From MaRDI portal
Publication:992010
Recommendations
Cites work
- scientific article; zbMATH DE number 3877173 (Why is no real title available?)
- scientific article; zbMATH DE number 49239 (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 Characterization of the Least Cardinal for which the Baire Category Theorem Fails
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- A note on neat reducts
- Algebraic Logic, Where Does it Stand Today?
- Amalgamation and interpolation in normal modal logics
- 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
- Categoricity regained
- Classes without the amalgamation property
- Complete representations in algebraic logic
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Connections between quasi-projective relation algebras and cylindric algebras
- Cylindric algebras. Part II
- Epimorphisms in cylindric algebras and definability in finite variable logic
- Erdős Graphs Resolve Fine's Canonicity Problem
- Internal cohen extensions
- Interpolation and amalgamation; pushing the limits. I
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Neat embeddings, omitting types, and interpolation: an overview
- 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 reducts of polyadic algebras
- On some developments in the representation theory of cylindric-like 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
- Representation theory for polyadic algebras
- 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 is not elementary
- The super amalgamation property via neat embeddings, and a problem of Henkin and Monk
Cited in
(11)- Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
- Neat embeddings as adjoint situations
- The class of 2-dimensional neat reducts is not elementary
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Varying interpolation and amalgamation in polyadic MV-algebras
- Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
- On neat reducts of reducts of cylindric algebras
- Neat reducts and neat embeddings in cylindric algebras
- On Neat Reducts and Amalgamation
- Representations of polyadic-like equality algebras
- scientific article; zbMATH DE number 1747697 (Why is no real title available?)
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)
