Hierarchies of function classes defined by the first-value operator

DOI10.1051/ITA:2007031zbMATH Open1146.03032OpenAlexW2058764566MaRDI QIDQ3515461FDOQ3515461

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classical recursion theory. The theory of functions and sets of natural numbers
• Wadge Degrees ofω-Languages of Deterministic Turing Machines
• Computational complexity of real functions
• Title not available (Why is that?)
• Effective Borel measurability and reducibility of functions
• Topological complexity with continuous operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Characterizations of the class Δ^ta₂ over Euclidean spaces
• Approximate decidability in euclidean spaces
• The Hausdorff-Ershov hierarchy in Euclidean spaces

Cited In (8)

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

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)