Matches in UGent Biblio for { <https://biblio.ugent.be/publication/1938292#aggregation> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- aggregation classification "A1".
- aggregation creator B450076.
- aggregation creator person.
- aggregation date "2012".
- aggregation format "application/pdf".
- aggregation hasFormat 1938292.bibtex.
- aggregation hasFormat 1938292.csv.
- aggregation hasFormat 1938292.dc.
- aggregation hasFormat 1938292.didl.
- aggregation hasFormat 1938292.doc.
- aggregation hasFormat 1938292.json.
- aggregation hasFormat 1938292.mets.
- aggregation hasFormat 1938292.mods.
- aggregation hasFormat 1938292.rdf.
- aggregation hasFormat 1938292.ris.
- aggregation hasFormat 1938292.txt.
- aggregation hasFormat 1938292.xls.
- aggregation hasFormat 1938292.yaml.
- aggregation isPartOf urn:issn:1432-0665.
- aggregation language "eng".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Mathematics and Statistics".
- aggregation title "The Dirac delta function in two settings of Reverse Mathematics".
- aggregation abstract "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 integral(R) f(x)delta(x)dx = f (0) of the Dirac delta function. We show that the Dirac Delta Theorem is equivalent to weak Konig'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.".
- aggregation authorList BK784964.
- aggregation endPage "121".
- aggregation issue "1-2".
- aggregation startPage "99".
- aggregation volume "51".
- aggregation aggregates 1938294.
- aggregation aggregates 3003505.
- aggregation isDescribedBy 1938292.
- aggregation similarTo s00153-011-0256-5.
- aggregation similarTo LU-1938292.