Hierarchies of function classes defined by the first-value operator

DOI10.1051/ITA:2007031MaRDI QIDQ3515461zbMATH OpenOpenAlexFDO

Authors Armin Hemmerling

Publication date 29 July 2008

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92870, https://semanticscholar.org/paper/f8db59040d4b4b30a98747348cbaabef19d1ad0a

zbMATH Keywords

computable analysiseffective descriptive set theoryErshov hierarchyhierarchies of functionsHausdorff hierarchydegree of discontinuity

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Higher-type and set recursion theory (03D65) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 1088269
• Function operators spanning the arithmetical and the polynomial hierarchy
• scientific article; zbMATH DE number 3851066
• Grzegorczyk's hierarchy of computable analysis
• Real recursive functions and their hierarchy

Cites work

• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3732038 (Why is no real title available?)
• scientific article; zbMATH DE number 3788601 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3342831 (Why is no real title available?)
• Approximate decidability in euclidean spaces
• Characterizations of the class Δ^ta₂ over Euclidean spaces
• Classical recursion theory. The theory of functions and sets of natural numbers
• Computational complexity of real functions
• Effective Borel measurability and reducibility of functions
• The Hausdorff-Ershov hierarchy in Euclidean spaces
• Topological complexity with continuous operations
• Wadge Degrees ofω-Languages of Deterministic Turing Machines

Cited in

(8)

• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
• Fine hierarchies and m-reducibilities in theoretical computer science
• Borel-piecewise continuous reducibility for uniformization problems
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• On the Wadge reducibility of \(k\)-partitions
• On the Wadge reducibility of \(k\)-partitions
• First-Class Functions

This page was built for publication: Hierarchies of function classes defined by the first-value operator

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