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

DOI10.1142/S0218196713500197MaRDI QIDQ2852576zbMATH OpenFDO

Authors Martin Goldstern, Michael Pinsker, S. Shelah

Publication date 9 October 2013

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

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

Borel set clone lattice clone of term operations closed algebra closed set complete analytic ideal upper density

Descriptive set theory (03E15) Operations and polynomials in algebraic structures, primal algebras (08A40) Unary algebras (08A60)

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.

Review text

This paper presents an example of a closed algebra which has only one unary operation and whose clone of term operations is not Borel. Also given is an example of a co-atom in the clone lattice whose obvious definition via an ideal of subsets of natural numbers suggests that it is completely coanalytic but which is a rather simple Borel set.

Recommendations

Cites work

Cited in

(1)

Topological Birkhoff

This page was built for publication: A closed algebra with a non-Borel clone and an ideal with a Borel clone

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852576)