Timeline for A contradiction in the Set Theory of von Neumann–Bernays–Gödel?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 11, 2023 at 11:34 | history | edited | Ali Enayat | CC BY-SA 4.0 |
Fixed typos
|
| Apr 11, 2023 at 4:27 | history | edited | Ali Enayat | CC BY-SA 4.0 |
Fixed some typos and added the highlighted paragraph.
|
| Apr 11, 2023 at 4:08 | vote | accept | Taras Banakh | ||
| Apr 11, 2023 at 3:56 | history | edited | Ali Enayat | CC BY-SA 4.0 |
added 10 characters in body
|
| Apr 11, 2023 at 3:51 | comment | added | Ali Enayat | @TarasBanakh Thanks for the correction. I will think about your other MO question and will report back if I have any success. | |
| Apr 11, 2023 at 3:45 | comment | added | Taras Banakh | Thank you very much for your answer. What about the existence of definable subsets of finite sets (see my question mathoverflow.net/q/444551/61536). Can this fact be proved in NBG or also similar problems arise? | |
| Apr 11, 2023 at 3:09 | vote | accept | Taras Banakh | ||
| Apr 11, 2023 at 3:15 | |||||
| Apr 11, 2023 at 1:56 | history | answered | Ali Enayat | CC BY-SA 4.0 |