The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles
Elsevier, 1982
Online
unknown
Zugriff:
In an earlier paper I gave an interpretation of a system CZF of constructive set theory within an extension of Martin-Lof's intuitionistic theory of types. In this paper some additional axioms, each a consequence of the axiom of choice, are shown to hold in the interpretation. The mathematical deductions are presented in an informal, but I hope rigorous style.
Titel: |
The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles
|
---|---|
Autor/in / Beteiligte Person: | Aczel, Peter |
Link: | |
Veröffentlichung: | Elsevier, 1982 |
Medientyp: | unknown |
DOI: | 10.1016/s0049-237x(09)70120-x |
Schlagwort: |
|
Sonstiges: |
|