Archive for Mathematical Logic 51 (1-2):99-121 (2012)

The program of Reverse Mathematics (Simpson 2009) has provided us with the insight that most theorems of ordinary mathematics are either equivalent to one of a select few logical principles, or provable in a weak base theory. In this paper, we study the properties of the Dirac delta function (Dirac 1927; Schwartz 1951) in two settings of Reverse Mathematics. In particular, we consider the Dirac Delta Theorem, which formalizes the well-known property ${\int_\mathbb{R}f(x)\delta(x)\,dx=f(0)}$ of the Dirac delta function. We show that the Dirac Delta Theorem is equivalent to weak König’s Lemma (see Yu and Simpson in Arch Math Log 30(3):171–180, 1990) in classical Reverse Mathematics. This further validates the status of WWKL0 as one of the ‘Big’ systems of Reverse Mathematics. In the context of ERNA’s Reverse Mathematics (Sanders in J Symb Log 76(2):637–664, 2011), we show that the Dirac Delta Theorem is equivalent to the Universal Transfer Principle. Since the Universal Transfer Principle corresponds to WKL, it seems that, in ERNA’s Reverse Mathematics, the principles corresponding to WKL and WWKL coincide. Hence, ERNA’s Reverse Mathematics is actually coarser than classical Reverse Mathematics, although the base theory has lower first-order strength
Keywords Nonstandard analysis  Reverse mathematics  WWKL  ERNA  Dirac delta
Categories (categorize this paper)
DOI 10.1007/s00153-011-0256-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,217
Through your library

References found in this work BETA

Countable Algebra and Set Existence Axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Uniformly Defined Descending Sequences of Degrees.Harvey Friedman - 1976 - Journal of Symbolic Logic 41 (2):363-367.

View all 13 references / Add more references

Citations of this work BETA

Reverse-Engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.

Add more citations

Similar books and articles

Dirac and the Dispensability of Mathematics.Otavio Bueno - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (3):465-490.
A Cauchy-Dirac Delta Function.Mikhail G. Katz & David Tall - 2013 - Foundations of Science 18 (1):107-123.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Paul Dirac and the Einstein-Bohr Debate.Alisa Bokulich - 2008 - Perspectives on Science 16 (1):103-114.
Reverse Mathematics and a Ramsey-Type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
On the Indecomposability of $\Omega^{N}$.Jared R. Corduan & François G. Dorais - 2012 - Notre Dame Journal of Formal Logic 53 (3):373-395.
Diamonds, Uniformization.Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1022-1033.


Added to PP index

Total views
30 ( #321,370 of 2,324,928 )

Recent downloads (6 months)
4 ( #227,077 of 2,324,928 )

How can I increase my downloads?


My notes