Timeline for A conservative extension of Peano Arithmetic
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 12 at 10:46 | history | bounty ended | Mikhail Katz | ||
| Mar 12 at 10:45 | vote | accept | Mikhail Katz | ||
| Mar 7 at 16:07 | history | edited | Ali Enayat | CC BY-SA 4.0 |
Added more detail to the definition of the extended induction scheme.
|
| Mar 6 at 21:53 | history | answered | Ali Enayat | CC BY-SA 4.0 |