LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
In: Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375
serialPeriodical
Zugriff:
AbstractWe 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.
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: | serialPeriodical |
ISSN: | 0022-4812 (print) |
DOI: | 10.1017/jsl.2021.1 |
Sonstiges: |
|