X-2021-01: Wehr, Dominik (2021) Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory. [Report]
Preview |
Text
wehr.pdf Download (536kB) | Preview |
Abstract
In this report, we summarize Peter Aczel’s papers on the interpretation of constructive ZF into Martin Löf type theory. We aim to modernize some of the presentation and unify the various constructions into a coherent whole.
| Item Type: | Report |
|---|---|
| Report Nr: | X-2021-01 |
| Series Name: | Technical Notes (X) Series |
| Year: | 2021 |
| Subjects: | Logic Mathematics |
| Depositing User: | Robert Passmann |
| Date Deposited: | 18 Jan 2021 09:21 |
| Last Modified: | 18 Jan 2021 09:21 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1769 |
Actions (login required)
 |
View Item |
