Neat embeddings as adjoint situations

DOI10.1007/S11229-013-0344-7zbMATH Open1357.03095OpenAlexW2593725238MaRDI QIDQ514575FDOQ514575

Authors: Tarek Sayed Ahmed 

Publication date: 9 March 2017

Published in: Synthese (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1304.0714

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

zbMATH Keywords

amalgamationalgebraic logiccylindric algebraspolyadic algebrasadjoint situationsneat embeddings

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)

• Title not available (Why is that?)
• The class of completely representable polyadic algebras of infinite dimensions is elementary

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)