×

zbMATH — the first resource for mathematics

An application of pure recursion theory to recursive analysis. (Chinese) Zbl 0638.03058
The authors study the structure of degrees of the maxima of a computable real function on [0,1]. It is proved that (1) for any degree \(\underset \tilde{} 0<\underset \tilde{} a\leq \underset \tilde{} 0'\), th structure. Exploiting the geometries of streamline triad, the physics of unidirection hydromagnetic fluid flows is examined. The role of Bernoulli-Surface to describe the flows is completed.

MSC:
03F60 Constructive and recursive analysis
03D30 Other degrees and reducibilities in computability and recursion theory
03D35 Undecidability and degrees of sets of sentences
PDF BibTeX XML Cite