Thumbnail
Access Restriction
Open

Author Yoshikawa, Atsushi
Source Project Euclid
Content type Text
File Format PDF
Subject Domain (in DDC) Natural sciences & mathematics ♦ Mathematics
Subject Keyword 03Dxx Computability and recursion theory ♦ 46Axx Topological linear spaces and related structures
Description Computability structure effectively separable Hilbert space
Learning Resource Type Article
Publisher Date 2003-01-01
Journal Proc. Japan Acad. Ser. A Math. Sci.
Volume Number 79
Issue Number 3
Page Count 6
Starting Page 65
Ending Page 70