Timeline for $\Pi_0^1$-weakly indescribable cardinals are exactly the regulars
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 2, 2020 at 22:23 | history | edited | YCor | CC BY-SA 4.0 |
formatting (the question was bumped anyway)
|
| Sep 8, 2019 at 18:45 | history | edited | Master | CC BY-SA 4.0 |
added 145 characters in body
|
| Sep 8, 2019 at 15:11 | comment | added | Master | Wait. I think I figured out the question. I will edit this in a minute. | |
| Sep 8, 2019 at 14:48 | comment | added | Master | I noticed a typo one on of the lines. Is it clearer now? | |
| Sep 8, 2019 at 14:47 | history | edited | Master | CC BY-SA 4.0 |
added 5 characters in body
|
| Sep 8, 2019 at 14:45 | comment | added | Master | Could you explain you confusion a bit better? I defined the pairing function, and I defined $dom(C\times S)$, and $ran(C\times S)$. I believe I have defined all the necessary terms. | |
| Sep 8, 2019 at 12:01 | comment | added | Andreas Blass | You use a pairing function, starting in the third sentence of the answer. If I understand the question correctly, it's exactly about how to define a pairing function with the limited available material, and this answer doesn't seem to address that issue. | |
| Sep 8, 2019 at 8:50 | history | edited | Master | CC BY-SA 4.0 |
added 162 characters in body
|
| Sep 8, 2019 at 8:32 | history | answered | Master | CC BY-SA 4.0 |