pith. sign in

arxiv: 0705.0776 · v2 · pith:LULUIJ2Hnew · submitted 2007-05-06 · 🧮 math.LO

Relatively computably enumerable reals

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

A real X is defined to be relatively c.e. if there is a real Y such that X is c.e.(Y) and Y does not compute X. A real X is relatively simple and above if there is a real Y <_T X such that X is c.e.(Y) and there is no infinite subset Z of the complement of X such that Z is c.e.(Y). We prove that every nonempty Pi^0_1 class contains a member which is not relatively c.e. and that every 1-generic real is relatively simple and above.

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.