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 (8)

Arithmetical conservation results ⋮ EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY ⋮ A note on inequivalence of realizability toposes ⋮ 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

This page was built for publication: Extensional realizability