The constructive completion of the space ?(?)

DOI10.1002/MALQ.200310128zbMATH Open1059.03076OpenAlexW1948431256MaRDI QIDQ3159404FDOQ3159404

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

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

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)