[FOM] PA inconsistencies
urquhart at cs.toronto.edu
Sat Aug 18 12:09:13 EDT 2018
In reply to Harvey's question,
> FOM Readership: what are the main references for "mathematics without
> exponentiation" and how far has it gotten?
there is a large literature on bounded arithmetic and related questions.
For an excellent semi-popular account of such matters, I strongly
recommend Pavel Pudlák's expository book "Logical Foundations of
Mathematics and Computational Complexity." Chapter 6 contains
a lot of material relevant to the questions under discussion.
If you are interested in bounded arithmetic, you can follow
up the references given there.
More information about the FOM