Kernels of seminorms in constructive analysis.

DOI10.1016/S0304-3975(01)00067-6MaRDI QIDQ1607290zbMATH OpenFDO

Authors Nicholas Dudley Ward, Douglas 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)

Recommendations

• scientific article; zbMATH DE number 1390063
• Algebraic structure of kernel of the \(n\)-seminorm
• The principal kernels of semifields of continuous positive functions
• A Constructive Analysis of a Proof that the Numerical Range is Convex
• Locating subsets of a normed space

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1743925 (Why is no real title available?)
• A Definitive Constructive Open Mapping Theorem?
• Constructive closed range and open mapping theorems
• Constructive compact operators on a Hilbert space
• Constructive mathematics: a foundation for computable analysis
• Constructivism in mathematics. An introduction. Volume I
• Locating the range of an operator with an adjoint

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1607290)