pith. sign in

arxiv: 1303.7386 · v1 · pith:GRGBIMV2new · submitted 2013-03-29 · 🧮 math.LO

What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one?

classification 🧮 math.LO
keywords algebrascasecategorialcylindricadjointamalgamationaxiomatizabilitycylindric-like
0
0 comments X
read the original abstract

We give a categorial definition separating cylindric-like algebras from polyadic-like ones. Viewing the neat reduct operator as a functor, we show that it does not have a right adjoint in the former case, but it is strongly invertible in the second case. Several new results on amalgamation, and non finite axiomatizability are presented for both paradigms. A hitherto categorial equivalence is also given between relation algebras with quasi-projections and Nemeti's directed cylindric algebras for any dimension.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.