Premium
Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis
Author(s) -
Hauck Jürgen
Publication year - 1981
Publication title -
mathematical logic quarterly
Language(s) - German
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19810272510
Subject(s) - psychology , epistemology , philosophy
In [3] haben wir topologische Raume mit rekursiver Basis 5 = ( M , U(a , n), B ) und konstruktive Codierungen D in solchen Raumen behandelt. Wir fuhren nun in berechenbare Elemente und Folgen ein und bzgl. einer Darstellung D berechenbare Funktionale. Ein Funktional F kann im Raum 8 der Abbildungen als Objekt aufgefaBt werden. Ein Schwerpunkt der Arbeit ist die Untersuchung zwischen den Begriffen f ist D-berechenbar in Z und f ist berechenbar in %.