The Dirac delta function in two settings of reverse mathematics

DOI10.1007/S00153-011-0256-5zbMath1248.03023OpenAlexW2028509288MaRDI QIDQ661294

Keita Yokoyama, Sam Sanders

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

nonstandard analysisDirac deltareverse mathematicsWWKL

Mathematics Subject Classification ID

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

Related Items (6)

ON THE UNCOUNTABILITY OF ⋮ On the logical and computational properties of the Vitali covering theorem ⋮ ERNA and Friedman's Reverse Mathematics ⋮ On the fractional derivative of Dirac delta function and its application ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Saturation and Σ₂-transfer for ERNA

Cites Work

• Unnamed Item
• More infinity for a better finitism
• A nonstandard counterpart of WWKL
• Countable algebra and set existence axioms
• Vitali's theorem and WWKL
• Measure theory and weak König's lemma
• ERNA and Friedman's Reverse Mathematics
• Relative set theory: Internal view
• Uniform versions of some axioms of second order arithmetic
• Saturation and Σ₂-transfer for ERNA
• Transfer and a supremum principle for ERNA
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof

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