Generalized functions with pseudobounded support in constructive mathematics

DOI10.1016/J.JCO.2006.06.003MaRDI QIDQ864428zbMATH OpenOpenAlexFDO

Authors Satoru Yoshida

Publication date 8 February 2007

Published in Journal of Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jco.2006.06.003

Mathematics Subject Classification ID

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

Recommendations

• A constructive look at the completeness of the space (ℝ)
• The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• scientific article; zbMATH DE number 1543074
• scientific article; zbMATH DE number 2212005

Cites work

• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 3240665 (Why is no real title available?)
• scientific article; zbMATH DE number 3272562 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3187905 (Why is no real title available?)
• A constructive look at the completeness of the space (ℝ)
• Constructivism in mathematics. An introduction. Volume II
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• On Weak Markov's Principle
• The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
• The constructive completion of the space ?(?)

Cited in

(4)

• The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
• A constructive look at the completeness of the space (ℝ)
• Constructive nonstandard representations of generalized functions
• Reflections on function spaces

This page was built for publication: Generalized functions with pseudobounded support in constructive mathematics

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