Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
From MaRDI portal
Publication:3902998
DOI10.1002/malq.19800263603zbMath0455.03025OpenAlexW2128996113MaRDI QIDQ3902998
Publication date: 1980
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19800263603
Recursive functions and relations, subrecursive hierarchies (03D20) Other constructive mathematics (03F65)
Related Items (max. 100)
Effective inseparability in a topological setting ⋮ Computable analysis with applications to dynamic systems ⋮ An effective Riemann Mapping Theorem ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Topological properties of real number representations.
This page was built for publication: Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis