Pages that link to "Item:Q1338200"
From MaRDI portal
The following pages link to Axiomatizing higher-order Kleene realizability (Q1338200):
Displayed 5 items.
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Extensional realizability (Q1356980) (← links)
- Algebraic set theory and the effective topos (Q5718693) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)