On an ad hoc computability structure in a Hilbert space

DOI10.3792/pjaa.79.65zbMath1052.03039MaRDI QIDQ1425415

Atsushi Yoshikawa

Publication date: 16 March 2004

Published in: Proceedings of the Japan Academy. Series A (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pjaa.79.65

zbMATH Keywords

orthonormal basis; computability structure; effective generating set; Poincairé-Wigner orthogonalization

Mathematics Subject Classification ID

46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)

03F60: Constructive and recursive analysis

03D80: Applications of computability and recursion theory

46S30: Constructive functional analysis

03D45: Theory of numerations, effectively presented structures

Related Items

Towards computability of elliptic boundary value problems in variational formulation, On computability of the Galerkin procedure

Cites Work

• Fractional powers of operators
• Unnamed Item