| General Arithmetic |
| Andrew Boucher |
| Area 1 Philosophy of Mathematics |
| None |
| Keywords weak arithmetic |
| http://www.andrewboucher.com/papers/ga.pdf |
| The deductive power of weak arithmetics, especially second-order logic plus induction plus the functionality of successoring, is investigated. |
This site makes heavy use of CSS and some use of the DOM and JavaScript.
It is strongly recommended that you use a current standards-compliant browser to view it, such as Firefox.
If you are having difficulties with the site, please write the maintainer and include your User Agent string, which is:
CCBot/1.0 (+http://www.commoncrawl.org/bot.html)
Have a nice day.
