The Degrees of Constructibility of Cohen Reals

DOI10.1112/PLMS/S3-53.2.193MaRDI QIDQ3026996zbMATH OpenOpenAlexFDO

Authors Uri Abraham, Richard A. Shore

Publication date 1986

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/plms/s3-53.2.193

zbMATH Keywords

c-degreesCohen realdegrees of constructibilitysecond order theory of true arithmetic

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• On the constructive Dedekind reals
• On the Constructive Dedekind Reals: Extended Abstract
• scientific article; zbMATH DE number 5071262
• On the Cauchy completeness of the constructive Cauchy reals
• On the Cauchy completeness of the constructive Cauchy reals
• Dual Borel conjecture and Cohen reals
• scientific article; zbMATH DE number 1405572
• A coinductive approach to real analysis
• Coinductive field of exact real numbers and general corecursion
• scientific article; zbMATH DE number 2085168

Cited in

(8)

• On the constructive Dedekind reals
• Initial segments of the degrees of constructibility
• Coinductive field of exact real numbers and general corecursion
• THE FIRST‐ORDER THEORY OF THE c‐DEGREES
• Forcing Minimal Degree of Constructibility
• Infinite powers and Cohen reals
• Constructibility real degrees in the side-by-side sacks model
• The breadth of constructibility degrees and definable Sierpiński's coverings

This page was built for publication: The Degrees of Constructibility of Cohen Reals

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