A constructive look at the completeness of the space (ℝ)
From MaRDI portal
Publication:4451730
DOI10.2178/JSL/1190150296zbMATH Open1053.03036OpenAlexW1984144937MaRDI QIDQ4451730FDOQ4451730
Authors: Hajime Ishihara, Satoru Yoshida 
Publication date: 1 March 2004
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1190150296
Recommendations
- The constructive completion of the space ?(?)
- The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
- Generalized functions with pseudobounded support in constructive mathematics
- On the failure of BD-ℕ and BD, and an application to the anti-specker property
- Double sequences, almost Cauchyness and BD-N
Topological linear spaces of test functions, distributions and ultradistributions (46F05) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)
Cites Work
Cited In (15)
- Specker sequences revisited
- Title not available (Why is that?)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property
- Continuity Properties of Preference Relations
- On Brouwer's continuity principle
- The uniform boundedness theorem and a boundedness principle
- Intuitionistic notions of boundedness in ℕ
- The constructive completion of the space ?(?)
- Constructive notions of equicontinuity
- The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
- Bishop-Style Constructive Reverse Mathematics
- Strong continuity implies uniform sequential continuity
- Reflections on function spaces
- Generalized functions with pseudobounded support in constructive mathematics
- Double sequences, almost Cauchyness and BD-N
This page was built for publication: A constructive look at the completeness of the space (ℝ)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451730)
