CZF and Second Order Arithmetic
In: Annals of Pure and Applied Logic, 141 (2006), 2015, S. 29-34
academicJournal
Zugriff:
CZF + Separation is shown to be equiconsistent with second-order arithmetic, using realizability.
Titel: |
CZF and Second Order Arithmetic
|
---|---|
Autor/in / Beteiligte Person: | Lubarsky, Robert |
Link: | |
Zeitschrift: | Annals of Pure and Applied Logic, 141 (2006), 2015, S. 29-34 |
Veröffentlichung: | 2015 |
Medientyp: | academicJournal |
Schlagwort: |
|
Sonstiges: |
|