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

DOI10.1142/S0218196713500197zbMATH Open1279.08004arXiv1112.0774MaRDI QIDQ2852576FDOQ2852576

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)

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.

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

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

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)

Cites Work

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

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)