Berechenbare Reelle Funktionen

DOI10.1002/malq.19730190804zbMath0298.02028OpenAlexW1973852480MaRDI QIDQ4052093

Jürgen Hauck

Publication date: 1973

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19730190804

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

Recursive characterization of computable real-valued functions and relations, Representations of the real numbers and of the open subsets of the set of real numbers, How much partiality is needed for a theory of computability?, On computably locally compact Hausdorff spaces, Computability on subsets of Euclidean space. I: Closed and compact subsets, Computable Banach spaces via domain theory, An effective Riemann Mapping Theorem, Admissible representations of effective cpo's, Admissibly Represented Spaces and Qcb-Spaces, Topological properties of real number representations.