Systems for a foundation of arithmetic
Abstract
A new second-order axiomatization of arithmetic, with Frege's definition of successor replaced, is presented and compared to other systems in the field of Frege Arithmetic. The key in proving the Peano Axioms turns out to be a proposition about infinity, which a reduced subset of the axioms provesAuthor's Profile
My notes
Similar books and articles
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Analytics
Added to PP
2009-01-28
Downloads
402 (#28,080)
6 months
1 (#447,993)
2009-01-28
Downloads
402 (#28,080)
6 months
1 (#447,993)
Historical graph of downloads