Timeline for A question about sentences undecidable in Peano's Arithmetic
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 26, 2015 at 18:39 | comment | added | Garabed Gulbenkian | I am really trying to avoid theories in which second order axioms are "represented" by first order axiom schemes. These are actually first order theories. | |
| Jul 25, 2015 at 19:31 | review | First posts | |||
| Jul 25, 2015 at 19:59 | |||||
| Jul 25, 2015 at 19:30 | history | answered | none | CC BY-SA 3.0 |