Page not found
This question was removed from MathOverflow for reasons of moderation. Please refer to the help center for possible explanations why a question might be removed.
Here are some similar questions that might be relevant:
- Strong induction without a base case
- Randomized algorithm?
- Minimal "sumset basis" in the discrete linear space $\mathbb F_2^n$
- Proof-theoretic ordinals after liberalizing induction to $RCA_0$
- Complexity of induction formulas in proof theoretic ordinals
- Proof-theoretic ordinals: inevitable consistency?
- Gentzen's result on PA
Try a Google Search
Try searching for similar questions
Browse our recent questions
Browse our popular tags
If you feel something is missing that should be here, contact us.