A constructive look at the completeness of the space (ℝ)

DOI10.2178/JSL/1190150296MaRDI QIDQ4451730zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

completenessconstructive mathematicslocally convex spacestest functionssemiclassical principles

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume I

Cited in

(15)

• Specker sequences revisited
• scientific article; zbMATH DE number 7577585 (Why is no real title available?)
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• The uniform boundedness theorem and a boundedness principle
• On Brouwer's continuity principle
• Continuity Properties of Preference Relations
• 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)