pith. sign in

arxiv: 1112.0774 · v1 · pith:EZGYQA6Pnew · submitted 2011-12-04 · 🧮 math.RA · math.LO

A closed algebra with a non-Borel clone and an ideal with a Borel clone

classification 🧮 math.RA math.LO
keywords cloneboreloperationsalgebraclosedexampleidealnatural
0
0 comments X
read the original abstract

Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is not Borel. Moreover, we provide an example of a coatom in the clone lattice whose obvious definition via an ideal of subsets of natural numbers would suggest that it is complete coanalytic, but which turns out to be a rather simple Borel set.

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.