Timeline for What axioms are used to prove Gödel's Incompleteness Theorems?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 7, 2013 at 1:37 | comment | added | Andreas Blass | If the OP is averse not only to non-r.e. sets but also to non-recursive r.e. sets, then $\text{RCA}_0$ is indeed a good system for him to work with. His explicit mention of "non-r.e." leads me to suspect, though, that he might want to have all r.e. sets available, so he'd need a system where one cannot in general form the complement of a set of natural numbers. | |
| Jan 6, 2013 at 23:04 | history | answered | Timothy Chow | CC BY-SA 3.0 |