Inaccessibility in constructive set theory and type theory
In: ANNALS OF PURE AND APPLIED LOGIC, Jg. 94 (1998), Heft 1-3, S. 181-200
Online
unknown
Zugriff:
This paper is the first in a series whose objective is to study notions of large sets in the context of formal theories of constructivity. The two theories considered are Aczel's constructive set theory (CZF) and Martin-Lof's intuitionistic theory of type
Titel: |
Inaccessibility in constructive set theory and type theory
|
---|---|
Autor/in / Beteiligte Person: | Rathjen, M ; Griffor, ER ; Palmgren, E |
Link: | |
Zeitschrift: | ANNALS OF PURE AND APPLIED LOGIC, Jg. 94 (1998), Heft 1-3, S. 181-200 |
Veröffentlichung: | 1998 |
Medientyp: | unknown |
Schlagwort: |
|
Sonstiges: |
|