scientific article; zbMATH DE number 3611357

zbMath0394.03054MaRDI QIDQ4175279

Rudolf Kryl, Oswald Demuth, Antonín Kučera

Publication date: 1978

Full work available at URL: https://eudml.org/doc/246691

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Constructive Arithmetical HierarchyConstructive Arithmetical Real FunctionsIncompleteness of Arithmetical Constructive RealsJumps of Constructive Number SetsRelativized Recursion Theory

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)