Timeline for Book that shows a construction of ZFC with Calculus of Constructions
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 6, 2023 at 13:33 | history | became hot network question | |||
| Apr 6, 2023 at 10:51 | answer | added | Peter LeFanu Lumsdaine | timeline score: 5 | |
| Apr 6, 2023 at 8:01 | comment | added | Reid Barton | It's not exactly what you asked for for several reasons, but the HoTT book does start from basic type theory, and constructs a universe of ZF-style sets in section 10.5. | |
| Apr 6, 2023 at 5:40 | history | edited | David Roberts♦ |
edited tags
|
|
| Apr 5, 2023 at 23:02 | history | asked | rfloc | CC BY-SA 4.0 |