Kernels of seminorms in constructive analysis.

DOI10.1016/S0304-3975(01)00067-6zbMath1039.03048MaRDI QIDQ1607290

Nicholas Dudley Ward, Douglas S. Bridges

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive compact operators on a Hilbert space
• Constructivism in mathematics. An introduction. Volume I
• Constructive mathematics: a foundation for computable analysis
• Locating the range of an operator with an adjoint
• A Definitive Constructive Open Mapping Theorem?
• Constructive closed range and open mapping theorems

This page was built for publication: Kernels of seminorms in constructive analysis.