Timeline for Reference for Gödel-Bernays Axioms
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 8, 2021 at 20:44 | comment | added | Ali Enayat | The axioms are listed on page 10 of CLASSICAL SET THEORY:THEORY OF SETS AND CLASSES, by TARAS BANAKH, available via: arxiv.org/pdf/2006.01613.pdf | |
| Feb 8, 2021 at 11:22 | comment | added | David Roberts♦ | If you just want to know what you can do with the classes that the G–B axioms characterise, then you can do worse than math.stackexchange.com/a/258408/3835, noting that the category of GB classes behaves in a structurally similar way to the category of ZF classes. However, looking at the book, it seems to me that the treatment of classes/sets is self-contained, and gives you all you need. | |
| S Feb 8, 2021 at 10:48 | history | suggested | Carl-Fredrik Nyberg Brodda | CC BY-SA 4.0 |
Added umlauts to Gödel
|
| Feb 8, 2021 at 10:37 | review | Suggested edits | |||
| S Feb 8, 2021 at 10:48 | |||||
| Feb 8, 2021 at 10:32 | comment | added | Michael Greinecker | "Set Theory and the Continuum Problem" by Smullyan and Fitting uses these axioms. But if you ignore results concerning classes, you get exactly the same results about sets if you use the ZFC axioms. When your goal is to go through Hungerford, this is really a side-issue. | |
| Feb 8, 2021 at 10:15 | review | First posts | |||
| Feb 8, 2021 at 10:37 | |||||
| Feb 8, 2021 at 10:10 | history | asked | adsff | CC BY-SA 4.0 |