The Dirac delta function in two settings of reverse mathematics
From MaRDI portal
Publication:661294
DOI10.1007/s00153-011-0256-5zbMath1248.03023MaRDI QIDQ661294
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
26A42: Integrals of Riemann, Stieltjes and Lebesgue type
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
03H05: Nonstandard models in mathematics
26E35: Nonstandard analysis
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 Σ2-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