The Arithmetical Hierarchy Over the Reals

DOI10.1093/LOGCOM/2.3.375zbMATH Open0765.03020OpenAlexW2063091737WikidataQ57733319 ScholiaQ57733319MaRDI QIDQ4018169FDOQ4018169

Authors: Felipe Cucker 

Publication date: 16 January 1993

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/329992

Recommendations

• Publication:4941886
• The Arithmetical Hierarchy of Real Numbers
• Mathematical Foundations of Computer Science 2003
• The arithmetical hierarchy in the setting of \(\omega_1\)
• scientific article; zbMATH DE number 2152681
• The logic of arithmetical hierarchy
• scientific article; zbMATH DE number 5287432
• A transfinite hierarchy of reals
• scientific article; zbMATH DE number 1222611
• Arithmetical realizability and primitive recursive realizability

zbMATH Keywords

computability theoryarithmetical hierarchyBlum-Shub-Smale model of computationnondeterministic machinesclassification of undecidable problems

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Undecidability and degrees of sets of sentences (03D35)

Cited In (11)

• On approximate and algebraic computability over the real numbers
• On the computation of geometric features of spectra of linear operators on Hilbert spaces
• A transfinite hierarchy of reals
• Computation over algebraic structures and a classification of undecidable problems
• Arithmetization of the field of reals with exponentiation extended abstract
• On arithmetically realizable classes
• Real computational universality: the word problem for a class of groups with infinite presentation
• The foundations of spectral computations via the solvability complexity index hierarchy
• The Turing degrees for some computation model with the real parameter
• Kolmogorov Complexity Theory over the Reals
• An explicit solution to Post's problem over the reals

This page was built for publication: The Arithmetical Hierarchy Over the Reals

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