Independence Results around Constructive ZF
In: Annals of Pure and Applied Logic, 132, No. 2-3 (2005), 2015, S. 209-225
academicJournal
Zugriff:
Using Kripke models, it is shown that CZF does not prove Power Set, and that CZF with Subset Collection substituted by Exponentiation does not prove Subset Collection.
Titel: |
Independence Results around Constructive ZF
|
---|---|
Autor/in / Beteiligte Person: | Lubarsky, Robert |
Link: | |
Zeitschrift: | Annals of Pure and Applied Logic, 132, No. 2-3 (2005), 2015, S. 209-225 |
Veröffentlichung: | 2015 |
Medientyp: | academicJournal |
Schlagwort: |
|
Sonstiges: |
|