Equivalence of F with a sub-theory of peano arithmetic
| Authors | |
| Abstract |
In a short, technical note, the system of arithmetic, F, introduced in Systems for a Foundation of Arithmetic and "True" Arithmetic Can Prove Its Own Consistency and Proving Quadratic Reciprocity, is demonstrated to be equivalent to a sub-theory of Peano Arithmetic; the sub-theory is missing, most notably, the Successor Axiom
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders.Shmuel Lifsches & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (3):848-872.
Analytics
Added to PP index
2009-01-28
Total views
24 ( #452,038 of 2,445,403 )
Recent downloads (6 months)
1 ( #457,259 of 2,445,403 )
2009-01-28
Total views
24 ( #452,038 of 2,445,403 )
Recent downloads (6 months)
1 ( #457,259 of 2,445,403 )
How can I increase my downloads?
Downloads
