A generalized cut characterization of the fullness axiom in CZF
In: Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76
Online
unknown
Zugriff:
In the present note, we study a generalization of Dedekind cuts in the context of constructive Zermelo-Fraenkel set theory CZF. For this purpose, we single out an equivalent of CZF's axiom of fulln ...
Titel: |
A generalized cut characterization of the fullness axiom in CZF
|
---|---|
Autor/in / Beteiligte Person: | Palmgren, Erik ; Crosilla, Laura ; Schuster, Peter |
Link: | |
Zeitschrift: | Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76 |
Veröffentlichung: | Oxford University Press (OUP), 2012 |
Medientyp: | unknown |
ISSN: | 1368-9894 (print) ; 1367-0751 (print) |
DOI: | 10.1093/jigpal/jzs022 |
Schlagwort: |
|
Sonstiges: |
|