Relatively computably enumerable reals

DOI10.1007/S00153-010-0219-2MaRDI QIDQ535150zbMATH OpenOpenAlexFDO

Authors Bernard Anderson

Publication date 11 May 2011

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

\(\Pi_1^0\) classrelatively computably enumerablerelatively simple

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Recursively (computably) enumerable sets and degrees (03D25)

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.

Recommendations

• Relative enumerability and 1-genericity
• Publication:4938551
• scientific article; zbMATH DE number 1796998
• Degrees of d. c. e. reals
• Computably Enumerable Reals and Uniformly Presentable Ideals

Cites work

• Arithmetical Reducibilities I
• Bounding non-GL₂ and R.E.A.
• Difference randomness
• Enumeration reducibility and partial degrees
• Schnorr trivial sets and truth-table reducibility
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(10)

• Effectively infinite classes of numberings of computable families of reals
• Relative enumerability and 1-genericity
• Spectrum of the field of computable real numbers
• Recursively enumerable reals and Chaitin \(\Omega\) numbers
• Presentations of computably enumerable reals.
• A Note on the Differences of Computably Enumerable Reals
• Regular reals
• Relative definability of \(n\)-generics
• The approximation structure of a computably approximable real
• scientific article; zbMATH DE number 1405572 (Why is no real title available?)

This page was built for publication: Relatively computably enumerable reals

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