Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis

DOI10.1002/MALQ.19810272510zbMath0473.03051OpenAlexW2013047928MaRDI QIDQ3927241

Jürgen Hauck

Publication date: 1981

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

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

zbMATH Keywords

computabilitytopological spaces with recursive basis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Generalities in topology (54A99)

Related Items (2)

Effective inseparability in a topological setting ⋮ Admissibly Represented Spaces and Qcb-Spaces

This page was built for publication: Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis