scientific article; zbMATH DE number 4039896

MaRDI QIDQ3778751zbMATH OpenFDO

Authors Wenqi Huang, Anil Nerode

Publication date 1985

zbMATH Keywords

computable real functionBernoulli-Surfacedegrees of maxima

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Undecidability and degrees of sets of sentences (03D35) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 1344955
• Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
• Relatively recursive reals and real functions
• scientific article; zbMATH DE number 1222088
• A foundation for real recursive function theory

Cited in

(13)

• On the weak computability of a four dimensional orthogonal packing and time scheduling problem
• A theory of nonmonotonic rule systems I
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
• scientific article; zbMATH DE number 5064406 (Why is no real title available?)
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• On the computational complexity of best Chebyshev approximations
• Effective symbolic dynamics
• COMPUTABLY COMPACT METRIC SPACES
• Index sets in computable analysis
• Computable symbolic dynamics
• scientific article; zbMATH DE number 3895067 (Why is no real title available?)
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• Effectively closed sets and graphs of computable real functions.

This page was built for publication:

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