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 10 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)
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
- Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics (Q2869900) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- (Q4227563) (← links)
- The cumulative hierarchy and the constructible universe of ZFA (Q4458705) (← links)
- An omniscience principle, the König Lemma and the Hahn‐Banach theorem (Q4733862) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)