Timeline for Large cardinals and constructible universe
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 13, 2011 at 7:39 | vote | accept | kvagk | ||
| Jul 12, 2011 at 23:55 | comment | added | Ali Enayat | According to Kanamori's book (p.135) Specker gets at least part of the credit for the result mentioned by Dave. | |
| Jul 12, 2011 at 22:18 | history | edited | Goldstern | CC BY-SA 3.0 |
added: ccc, properness
|
| Jul 12, 2011 at 21:29 | comment | added | Goldstern | Thanks! This result (of Solovay? or is it older?) predates Shelah's theorem on $\Sigma^1_3$-measurability.Was this perhaps the first large cardinal whose existence follows from a statement in descriptive set theory? | |
| Jul 12, 2011 at 14:06 | comment | added | Dave Marker | Also, my favorite, if every uncountable $\Pi^1_1$-set has a perfect subset then $\aleph_1$ is inaccessible in $L$. | |
| Jul 12, 2011 at 10:21 | history | answered | Goldstern | CC BY-SA 3.0 |