LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION.
In: Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375
academicJournal
Zugriff:
We develop a number of variants of Lifschitz realizability for $\mathbf {CZF}$ by building topological models internally in certain realizability models. We use this to show some interesting metamathematical results about constructive set theory with variants of the lesser limited principle of omniscience including consistency with unique Church's thesis, consistency with some Brouwerian principles and variants of the numerical existence property. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Symbolic Logic is the property of Cambridge University Press and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Titel: |
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION.
|
---|---|
Autor/in / Beteiligte Person: | RATHJEN, MICHAEL ; SWAN, ANDREW W. |
Zeitschrift: | Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375 |
Veröffentlichung: | 2020 |
Medientyp: | academicJournal |
ISSN: | 0022-4812 (print) |
DOI: | 10.1017/jsl.2021.1 |
Schlagwort: |
|
Sonstiges: |
|