Proving Bertrand's postulate
Bertand's Postulate is proved in Peano Arithmetic minus the Successor Axiom.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Reduction of Phenomenological to Kinetic Thermostatics.Theo A. F. Kuipers - 1982 - Philosophy of Science 49 (1):107-119.
American Postulate Theorists and Alfred Tarski.Michael Scanlan - 2003 - History and Philosophy of Logic 24 (4):307-325.
A Natural First-Order System of Arithmetic Which Proves Its Own Consistency.Andrew Boucher - manuscript
Added to index2009-01-28
Total downloads562 ( #2,440 of 2,152,538 )
Recent downloads (6 months)25 ( #13,722 of 2,152,538 )
How can I increase my downloads?