Timeline for Minimal subset of axioms for ZFC
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2015 at 12:21 | comment | added | Emil Jeřábek | If you want a subtheory of ZFC, ZFC is interpretable in $Q+\{\mathrm{Con}_{\mathrm{ZFC}\restriction n}:n\in\mathbb N\}$, where $\mathrm{ZFC}\restriction n$ denotes the set of axioms of ZFC with Godel number below $n$. This in fact works for any recursively axiomatized theory. | |
| Dec 10, 2010 at 16:15 | history | edited | Andreas Blass | CC BY-SA 2.5 |
noted that my S isn't included in ZFC
|
| Dec 6, 2010 at 23:48 | history | answered | Andreas Blass | CC BY-SA 2.5 |