The Arithmetical Hierarchy Over the Reals

DOI10.1093/LOGCOM/2.3.375MaRDI QIDQ4018169zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 1418324
• 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

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
• Real computational universality: the word problem for a class of groups with infinite presentation
• On arithmetically realizable classes
• 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)