Timeline for Large cardinal axioms and the perfect set property
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 23, 2011 at 4:17 | history | edited | François G. Dorais | CC BY-SA 3.0 |
added 6 characters in body; edited title
|
| Oct 23, 2011 at 4:07 | vote | accept | Rachid Atmai | ||
| Oct 23, 2011 at 3:44 | history | edited | Rachid Atmai | CC BY-SA 3.0 |
edited body
|
| Oct 23, 2011 at 3:44 | comment | added | Rachid Atmai | @Gerard:changed. | |
| Oct 23, 2011 at 3:25 | comment | added | François G. Dorais | Note that $2^\omega$ is not the only perfect set. Lightface $\Pi^1_1$-determinacy is equivalent to the existence of $0^\sharp$; you need all sharps for boldface $\boldsymbol{\Pi}^1_1$-determinacy. Why does $\Pi^1_1 \subseteq \Sigma^1_2$ make this weird? | |
| Oct 23, 2011 at 3:24 | comment | added | Gerhard Paseman | Someone please change occurences of "prefect" to "perfect". Thank you in advance. Gerhard "Ask Me About System Design" Paseman, 2011.10.22 | |
| Oct 23, 2011 at 3:21 | history | edited | François G. Dorais |
edited tags
|
|
| Oct 23, 2011 at 3:21 | answer | added | François G. Dorais | timeline score: 9 | |
| Oct 23, 2011 at 3:00 | history | asked | Rachid Atmai | CC BY-SA 3.0 |