Timeline for A conservative extension of Peano Arithmetic
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 6 at 14:45 | comment | added | Peter LeFanu Lumsdaine | @MikhailKatz: Thanks for the ping! I’ve added Erik’s list in a separate answer since it was too long for a comment. | |
Mar 6 at 13:12 | comment | added | Mikhail Katz | @PeterLeFanuLumsdaine "ping" | |
Mar 4 at 11:37 | comment | added | Mikhail Katz | Thanks, that's helpful. I lot of these papers are written in a fairly technical way. For example, the issue of conservativity seems to be rarely discussed explicitly, as the papers are addressed to experts to whom this is "obvious". It would be nice to have a more accessible survey aimed at a general interested mathematical reader rather than aimed to impress the specialists in the field. | |
Mar 4 at 8:42 | comment | added | Peter LeFanu Lumsdaine | I should probably be able to dig up that old page from Erik Palmgren’s website — I have an archive of most of his work files. I may not get around to it today as I’m a bit busy, but if I haven’t dug it up within 48hours, please ping me to remind! | |
Mar 4 at 8:05 | history | answered | Sam Sanders | CC BY-SA 4.0 |