Axiomatizing higher-order Kleene realizability
From MaRDI portal
Publication:1338200
DOI10.1016/0168-0072(94)90070-1zbMath0810.03047MaRDI QIDQ1338200
Publication date: 19 December 1994
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(94)90070-1
03G30: Categorical logic, topoi
18B25: Topoi
03F35: Second- and higher-order arithmetic and fragments
Related Items
Algebraic set theory and the effective topos, Analyzing realizability by Troelstra's methods, Aspects of predicative algebraic set theory. II: Realizability, Well-foundedness in realizability, Extensional realizability
Cites Work
- A small complete category
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Colimit completions and the effective topos
- ABOUT MODEST SETS
- The Discrete Objects in the Effective Topos
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item