Timeline for Is Global Choice conservative over Zermelo with Choice?
Current License: CC BY-SA 4.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Dec 23, 2023 at 2:03 | vote | accept | Colin McLarty | ||
| Dec 22, 2023 at 0:09 | comment | added | David Roberts♦ | Colin - did you see the update to the answer? | |
| Nov 26, 2021 at 21:35 | answer | added | Elliot Glazer | timeline score: 15 | |
| Mar 21, 2019 at 16:09 | vote | accept | Colin McLarty | ||
| S Dec 23, 2023 at 2:03 | |||||
| Mar 20, 2019 at 23:30 | review | Close votes | |||
| Mar 21, 2019 at 9:58 | |||||
| Mar 20, 2019 at 15:52 | comment | added | Colin McLarty | @JohannesSchürz Yes, I believe Gaifman's proof is essentially the same. He just uses the fact that ZFC proves existence of enough partial well-orderings of the universe, that you do not really need forcing. | |
| Mar 20, 2019 at 15:19 | comment | added | Johannes Schürz | The proof by Felgner is not hard: take a model of ZFC and define a (proper class) forcing consisting of 'all partial well-orderings of the universe'. This forcing will add no new sets, but (by genericity) G will be a global well-ordering. Furthermore, Replacement with respect to G holds due to the Forcing Theorem (which holds for this particular class forcing) | |
| Mar 20, 2019 at 8:52 | answer | added | Ali Enayat | timeline score: 16 | |
| Mar 19, 2019 at 12:28 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
added eudml link
|
| Mar 19, 2019 at 11:34 | comment | added | David Roberts♦ | thanks, that makes more sense. | |
| Mar 19, 2019 at 11:26 | comment | added | Colin McLarty | @DavidRoberts Sorry, that "replacement" was a typo for "separation." Corrected. | |
| Mar 19, 2019 at 11:25 | history | edited | Colin McLarty | CC BY-SA 4.0 |
deleted 1 character in body
|
| Mar 19, 2019 at 7:23 | review | Suggested edits | |||
| Mar 19, 2019 at 8:35 | |||||
| Mar 19, 2019 at 6:57 | comment | added | David Roberts♦ | Do you mean ZF+Global Choice, since you are referring to Replacement at the end of your first paragraph. Or do you mean Z+Global Choice, and Separation can refer to the choice function $F$? | |
| Mar 19, 2019 at 5:06 | review | Suggested edits | |||
| Mar 19, 2019 at 6:56 | |||||
| Mar 19, 2019 at 4:35 | history | edited | Colin McLarty | CC BY-SA 4.0 |
added 65 characters in body
|
| Mar 19, 2019 at 3:10 | history | asked | Colin McLarty | CC BY-SA 4.0 |