The constructive completion of the space ?(?)

DOI10.1002/MALQ.200310128MaRDI QIDQ3159404zbMATH OpenOpenAlexFDO

Authors Satoru Yoshida

Publication date 16 February 2005

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310128

zbMATH Keywords

pseudoboundedConstructive mathematicssequential completenessBD-\(\mathbb N\)filter-completeness

Mathematics Subject Classification ID

Topological linear spaces of test functions, distributions and ultradistributions (46F05) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Recommendations

• A constructive look at the completeness of the space (ℝ)
• The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
• The Cauchy completion of a symmetric b-uniform filter space
• On constructing completions
• Completions of non-\(T_2\) filter spaces

Cited in

(4)

• The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
• Generalized functions with pseudobounded support in constructive mathematics
• A constructive look at the completeness of the space (ℝ)
• Reflections on function spaces

This page was built for publication: The constructive completion of the space ?(?)

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