All Questions
1 question
6
votes
1
answer
474
views
Existence of well-ordering of epsilon_0 in weak theories
In a discussion on a youtube video on the hydra game I jokingly mentioned how everyone was assuming that $\varepsilon_0$ was well-ordered. This lead to a bit of disagreement (in a nice way!) about the ...
- 35.5k