Neat embeddings as adjoint situations

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

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

• Cylindric algebras. Part II
• Title not available (Why is that?)
• Algebraic Logic, Where Does it Stand Today?
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Title not available (Why is that?)
• On the equational theory of representable polyadic equality algebras
• Complete representations in algebraic logic
• On weak and strong interpolation in algebraic logics
• Finitary polyadic algebras from cylindric algebras
• Amalgamation, congruence-extension, and interpolation properties in algebras
• On amalgamation of reducts of polyadic algebras
• Title not available (Why is that?)
• The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
• The class of polyadic algebras has the super amalgamation property
• An Interpolation Theorem for First Order Logic with Infinitary Predicates
• Amalgamation in universal algebraic logic
• On neat reducts of algebras of logic
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Some results about neat reducts
• Title not available (Why is that?)
• Title not available (Why is that?)
• A complete first-order logic with infinitary predicates
• Representation theory for polyadic algebras
• Cylindric-like algebras and algebraic logic
• Freedom in polyadic algebras and two theorems of Beth and Craig
• The class of neat reducts is not elementary
• Title not available (Why is that?)
• The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
• Classes of algebras without the amalgamation property
• On nonrepresentable G-polyadic algebras with representable cylindric reducts
• On neat embeddings of cylindric algebras
• A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
• On Cylindric Algebras Satisfying Merry-go-round Properties
• Amalgamation of Polyadic Algebras
• On some developments in the representation theory of cylindric-like algebras

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)