Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
123 views

Is possibile to define transfinite sum and product recursively? [closed]

On mathstackexchange a few days ago I published the following question where I asked about "transfinite" sum and products but actually nobody answered or gave an opinion with a comment: thus ...
Antonio Maria Di Mauro's user avatar
27 votes
5 answers
4k views

What is induction up to $\varepsilon_0$?

This is a question asked out of curiosity, and because I can't understand the Wikipedia page. I have often been told that PA cannot prove the validity of induction up to $\varepsilon_0$, which has ...
David E Speyer's user avatar