Pages that link to "Item:Q3985093"
From MaRDI portal
The following pages link to Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093):
Displaying 6 items.
- Basic subtoposes of the effective topos (Q387125) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Relative and modified relative realizability (Q1849865) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Two remarks on the Lifschitz realizability topos (Q4879901) (← links)
- Rules and arithmetics (Q5937848) (← links)