Timeline for A conservative extension of Peano Arithmetic
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 5 at 15:57 | comment | added | Mikhail Katz | Ulrich, Welcome to MO! Honored to see you here. This result is on page 967 in that volume. I would appreciate additional details if possible because the notation is not easy to decipher. | |
| S Mar 5 at 15:54 | review | First answers | |||
| Mar 5 at 16:10 | |||||
| S Mar 5 at 15:54 | history | answered | Ulrich Kohlenbach | CC BY-SA 4.0 |