All Questions
Tagged with ordinal-analysis intuitionism
1 question
4
votes
1
answer
887
views
Going beyond the strength of Peano arithmetic "without sets"
First-order arithmetic is fairly weak, as measured for example by its consistency strength. When a stronger theory is desired, it is common to work with (fragments of) second-order arithmetic or set ...
- 3,612