The Dirac delta function in two settings of reverse mathematics

DOI10.1007/S00153-011-0256-5MaRDI QIDQ661294zbMATH OpenOpenAlexFDO

Authors Sam Sanders, Keita Yokoyama

Publication date 10 February 2012

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://biblio.ugent.be/publication/1938292

zbMATH Keywords

Dirac deltanonstandard analysisreverse mathematicsWWKL

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models in mathematics (03H05) Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Nonstandard analysis (26E35)

Recommendations

• Reverse-engineering reverse mathematics
• Lebesgue Convergence Theorems and Reverse Mathematics
• ERNA and Friedman's Reverse Mathematics
• Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
• scientific article; zbMATH DE number 3924748

Cites work

• A nonstandard counterpart of WWKL
• Countable algebra and set existence axioms
• ERNA and Friedman's Reverse Mathematics
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• scientific article; zbMATH DE number 761272 (Why is no real title available?)
• Measure theory and weak König's lemma
• More infinity for a better finitism
• Relative set theory: internal view
• Saturation and Σ₂-transfer for ERNA
• Transfer and a supremum principle for ERNA
• Uniform versions of some axioms of second order arithmetic
• Vitali's theorem and WWKL
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

Cited in

(9)

• Reverse-engineering reverse mathematics
• On the fractional derivative of Dirac delta function and its application
• ERNA and Friedman's Reverse Mathematics
• Saturation and Σ₂-transfer for ERNA
• On the uncountability of \(\mathbb{R}\)
• Computability theory, nonstandard analysis, and their connections
• On the logical and computational properties of the Vitali covering theorem
• On sequential theorems in reverse mathematics
• The biggest five of reverse mathematics

This page was built for publication: The Dirac delta function in two settings of reverse mathematics

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