Timeline for $\Pi_0^1$-weakly indescribable cardinals are exactly the regulars
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 2, 2020 at 22:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Jun 4, 2020 at 20:07 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Feb 5, 2020 at 20:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Oct 8, 2019 at 19:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Sep 8, 2019 at 8:32 | answer | added | Master | timeline score: -1 | |
| Oct 10, 2011 at 8:01 | comment | added | Amit Kumar Gupta | Hmm, let me think about this. When I've seen "indescribability," I usually see the universe $V_\kappa$ being used, not $\kappa$. | |
| Oct 10, 2011 at 5:43 | comment | added | Apostolos | @Amit: Jech defines the well ordering of $(\kappa,\kappa)$ as "the order type of $\{(\alpha,\beta):(\alpha,\beta)<(\kappa,\kappa)\}$". My problem is how to define this when our universe is κ. Jech says that two well orders have the same order type when they are isomorphic. How could you say this when you don't have functions? I'm beginning to feel that I'm missing something obvious here. :( | |
| Oct 10, 2011 at 3:09 | comment | added | Amit Kumar Gupta | Yes, check out pg. 30 in Jech, "Set Theory." There's a section on "The Canonical Well-Ordering of $\alpha \times \alpha$." | |
| Oct 9, 2011 at 22:32 | history | edited | Apostolos | CC BY-SA 3.0 |
deleted 3 characters in body
|
| Oct 9, 2011 at 18:14 | history | asked | Apostolos | CC BY-SA 3.0 |