Pages that link to "Item:Q386630"
From MaRDI portal
The following pages link to Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630):
Displaying 4 items.
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
