Extensional realizability

DOI10.1016/S0168-0072(96)00050-4zbMath0882.03060OpenAlexW4212893402MaRDI QIDQ1356980

Jaap van Oosten

Publication date: 4 February 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00050-4

zbMATH Keywords

intuitionistic arithmeticpartial combinatory algebraextensional realizabilityKleene's realizabilityrealizability toposes

Mathematics Subject Classification ID

Topoi (18B25) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

Arithmetical conservation results, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, On the failure of BD-ℕ and BD, and an application to the anti-specker property, Computability structures, simulations and realizability, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\), A characterization of the left exact categories whose exact completions are toposes, More exact completions that are toposes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extended bar induction in applicative theories
• Realizability and intuitionistic logic
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Axiomatizing higher-order Kleene realizability
• Some free constructions in realizability and proof theory
• Colimit completions and the effective topos
• Lifschitz' realizability
• Recursive models for constructive set theories
• On the derivability of instantiation properties
• Tripos theory