Pages that link to "Item:Q1938396"
From MaRDI portal
The following pages link to Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396):
Displaying 13 items.
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN (Q3188340) (← links)
- (Q3567774) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- Implementing fragments of ZFC within an r.e. Universe (Q4684351) (← links)
- (Q4764119) (← links)
- Two remarks on the Lifschitz realizability topos (Q4879901) (← links)
- Preservation of choice principles under realizability (Q5241928) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)