Timeline for Is the following theory countably axiomatizable?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 14, 2016 at 6:41 | comment | added | Emil Jeřábek | Unlike the other levels, the construction of $T_1$ from $T_0$ is not conservative. The constants in $T_1$ are not just an expansion by definitions, they actually imply the existence of the corresponding “classes” which is not provable in $T_0$ alone. So, the last part is now incorrect. | |
| Dec 14, 2016 at 2:08 | history | edited | Noah Schweber | CC BY-SA 3.0 |
edited body
|
| Dec 13, 2016 at 18:41 | history | answered | Noah Schweber | CC BY-SA 3.0 |