Abstract: We view the neat reduct operator as a functor that lessens dimensions from CA_{alpha+omega} to CA_{alpha} for infinite ordinals alpha. We show that this functor has no right adjoint. Conversely for polyadic algebras, and several reducts thereof, like Sain's algebras, we show that the analagous functor is an equivalence.
Recommendations
- On neat reducts of algebras of logic
- Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
- On Neat Reducts and Amalgamation
- Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
Cites work
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3417640 (Why is no real title available?)
- A complete first-order logic with infinitary predicates
- A new representation theory: representing cylindric-like algebras by relativized set algebras
- A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
- Algebraic Logic, Where Does it Stand Today?
- Amalgamation in universal algebraic logic
- Amalgamation of Polyadic Algebras
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Amalgamation, interpolation and epimorphisms in algebraic logic
- Amalgamation, interpolation and epimorphisms in algebraic logic
- An Interpolation Theorem for First Order Logic with Infinitary Predicates
- Classes of algebras without the amalgamation property
- Complete representations in algebraic logic
- Cylindric algebras. Part II
- Cylindric-like algebras and algebraic logic
- Finitary polyadic algebras from cylindric algebras
- Freedom in polyadic algebras and two theorems of Beth and Craig
- Neat reducts and neat embeddings in cylindric algebras
- On Cylindric Algebras Satisfying Merry-go-round Properties
- On amalgamation of reducts of polyadic algebras
- On neat embeddings of cylindric algebras
- On neat reducts of algebras of logic
- On nonrepresentable G-polyadic algebras with representable cylindric reducts
- On some developments in the representation theory of cylindric-like algebras
- On the equational theory of representable polyadic equality algebras
- On weak and strong interpolation in algebraic logics
- Polyadic algebras
- Representation theory for polyadic algebras
- Some results about neat reducts
- The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
- The class of neat reducts is not elementary
- The class of polyadic algebras has the super amalgamation property
- The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
- The polyadic generalization of the Boolean axiomatization of fields of sets
Cited in
(2)
This page was built for publication: Neat embeddings as adjoint situations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514575)
