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

zbMATH Keywords

closed setidealBorel setclone latticeupper densityclosed algebraclone of term operationscomplete analytic

Mathematics Subject Classification ID

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

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.

Recommendations

• scientific article; zbMATH DE number 1960273
• CLONES FROM IDEALS
• Applications of logic in algebra: examples from clone theory
• scientific article; zbMATH DE number 3906563
• scientific article; zbMATH DE number 4123792

Cites work

• A survey of clones on infinite sets
• CLONES FROM IDEALS
• The reducts of equality up to primitive positive interdefinability

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)