Timeline for Critical points in $ZF$ without Choice
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 4, 2021 at 16:44 | history | edited | Joel David Hamkins |
edited tags
|
|
| Nov 12, 2019 at 22:56 | comment | added | Thomas Benjamin | Why the downvote (after three years....)? | |
| Jun 23, 2016 at 3:24 | review | Close votes | |||
| Jun 23, 2016 at 16:32 | |||||
| Jun 21, 2016 at 16:41 | answer | added | Joel David Hamkins | timeline score: 5 | |
| Jun 21, 2016 at 15:36 | answer | added | Asaf Karagila♦ | timeline score: 5 | |
| Jun 21, 2016 at 15:29 | comment | added | Thomas Benjamin | @Rahman.M: I'd like to see the proof, also.... | |
| Jun 21, 2016 at 15:28 | comment | added | Thomas Benjamin | @AsafKaragila: The most important thing to prove about the critical points of nontrivial elementary embeddings $j$:$V$$\rightarrow$$V$ is whether they exist or not. The question I should have asked is whether or not what one can prove in $ZF$ without Choice regarding critical points of elementary embeddings is enough to prove whether Reinhardt cardinals exist or whether one can prove the Kunen inconsistency without recourse to Choice. If this clarifies matters I will change the second question. | |
| Jun 21, 2016 at 14:36 | comment | added | Asaf Karagila♦ | Your question is unclear. You ask what we can prove about critical points, and then you specify and ask if the things we can prove are enough to prove anything "useful" about Reinhardt cardinals. You're practically asking the same thing twice, but the repetition is odd, and off, and it makes it very unclear as to what's going on there. | |
| Jun 21, 2016 at 14:02 | comment | added | Rahman. M | A related question is mathoverflow.net/questions/237662/… . | |
| Jun 21, 2016 at 12:04 | history | asked | Thomas Benjamin | CC BY-SA 3.0 |