Terms in Cylindric Algebras

Pinter, Charles C.

doi:10.2307/2039415

Cited by 2 publications

(1 citation statement)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Of course, functional symbols can be introduced in a logical theory by means of definitions, and terms likewise can be extracted algebraically both in polyadic and cylindric algebras; see, e.g., [23, pp. 169-209, 251-257] and [30]. Regrettably, these constructions have turned out to be highly involved, in spite of efforts of several authors to simplify the initial approach (see, for example, [17]), and have not been used much even inside algebraic logic.…”

Section: Introductionmentioning

confidence: 99%

Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras

Cı̄rulis

2011

Algebra Univers.

View full text Add to dashboard Cite

A freeoid over a (normally, infinite) set of variables X is defined to be a pair (W, E), where W is a superset of X, and E is a submonoid of W W containing just one extension of every mapping X → W . For instance, if W is a relatively free algebra over a set of free generators X, then the pair F (W) := (W, End (W)) is a freeoid. In the paper, the kernel equivalence and the range of the transformation F are characterized. Freeoids form a category; it is shown that the transformation F gives rise to a functor from the category of relatively free algebras to the category of freeoids which yields a concrete equivalence of the first category to a full subcategory of the second one. Also, the concept of a model of a freeoid is introduced; the variety generated by a free algebra W is shown to be concretely equivalent to the category of models of F (W). The sets X, W , and the algebras W may generally be many-sorted.

show abstract

Section: Introductionmentioning

confidence: 99%