Timeline for A conservative extension of Peano Arithmetic
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 6 at 15:08 | comment | added | Mikhail Katz | This focuses mostly on constructivism and intuitionistic logic. I was hoping at some point to get a summary in the simpler context of classical logic, focusing on conservativity results. I believe Feferman's 1977 result was of this t ype. | |
| Mar 6 at 14:44 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |