Publication:3222178
From MaRDI portal
zbMath0557.03027MaRDI QIDQ3222178
Weihrauch, Klaus, Christoph Kreitz
Publication date: 1984
03F60: Constructive and recursive analysis
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03D65: Higher-type and set recursion theory
Related Items
Theory of representations, Representations of the real numbers and of the open subsets of the set of real numbers