Timeline for Why do stacked quantifiers in PA correspond to ordinals up to $\epsilon_0$?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 9, 2013 at 16:46 | comment | added | Andrés E. Caicedo | The book has now been published: Jervell, Herman Ruge (2013). Proof Theory. Logos Verlag Berlin. ISBN 978-3-8325-3303-8. 129 pp. | |
| Aug 8, 2013 at 3:26 | review | First posts | |||
| Aug 8, 2013 at 3:55 | |||||
| Aug 8, 2013 at 3:06 | history | answered | none | CC BY-SA 3.0 |