Timeline for Question about the consistency of assuming (via axiom) that $\kappa < \nu$ for certain pairs of cardinal numbers provably satisfying $\kappa \leq \nu$
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 3, 2014 at 1:40 | vote | accept | goblin GONE | ||
| May 2, 2014 at 5:22 | comment | added | goblin GONE | @NoahS, thanks for your help, I've edited out my phrase and used yours in its stead. | |
| May 2, 2014 at 5:22 | answer | added | Noah Schweber | timeline score: 6 | |
| May 2, 2014 at 5:22 | history | edited | goblin GONE | CC BY-SA 3.0 |
added 49 characters in body
|
| May 2, 2014 at 5:18 | comment | added | Noah Schweber | I'm not sure what you mean by "conservative over first-order arithmetic," since ZFC is already wildly more powerful than any theory I'd consider "first-order arithmetic" (except for true arithmetic, $TA$; but that's a complete theory, so anything extending it but not conservative over it (for sentences of arithmetic) must be inconsistent). Do you maybe mean, "Conservative over $ZFC$ for sentences in the language of first-order arithmetic?" | |
| May 2, 2014 at 4:41 | history | asked | goblin GONE | CC BY-SA 3.0 |