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 (10)

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.

This page was built for publication: Berechenbare Reelle Funktionen