Timeline for Very weak notions of Universes in ZFC
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10, 2017 at 16:40 | vote | accept | Gérard Lang | ||
| Jan 10, 2017 at 15:49 | comment | added | Gérard Lang | I would preferably encode functions using Kuratowski's definition of ordered pairs | |
| Jan 10, 2017 at 12:12 | answer | added | Joel David Hamkins | timeline score: 9 | |
| Jan 10, 2017 at 10:49 | comment | added | Joel David Hamkins | Your universe concept will depend on how you represent functions in ZFC and in particular on the ordered-pair encoding you adopt. | |
| Jan 10, 2017 at 10:31 | history | asked | Gérard Lang | CC BY-SA 3.0 |