Extensional realizability

DOI10.1016/S0168-0072(96)00050-4MaRDI QIDQ1356980zbMATH OpenOpenAlexFDO

Authors 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

partial combinatory algebraintuitionistic arithmeticextensional realizabilityKleene's realizabilityrealizability toposes

Mathematics Subject Classification ID

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

Recommendations

• Relative and modified relative realizability
• Axiomatizing higher-order Kleene realizability
• scientific article; zbMATH DE number 1215498

Cites work

• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3668825 (Why is no real title available?)
• scientific article; zbMATH DE number 3573834 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3794304 (Why is no real title available?)
• scientific article; zbMATH DE number 3360145 (Why is no real title available?)
• Axiomatizing higher-order Kleene realizability
• Colimit completions and the effective topos
• Constructivism in mathematics. An introduction. Volume I
• Extended bar induction in applicative theories
• Lifschitz' realizability
• On the derivability of instantiation properties
• Realizability and intuitionistic logic
• Recursive models for constructive set theories
• Sheaves in geometry and logic: a first introduction to topos theory
• Some free constructions in realizability and proof theory
• Tripos theory

Cited in

(19)

• More exact completions that are toposes
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• Functoriality of modified realizability
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Realizability toposes from specifications
• The Herbrand topos
• Relative and modified relative realizability
• Analyzing realizability by Troelstra's methods
• Realizability. An introduction to its categorical side
• The number of countable models in realizability toposes
• Computability structures, simulations and realizability
• Converse extensionality and apartness
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
• A note on inequivalence of realizability toposes
• A characterization of the left exact categories whose exact completions are toposes
• Arithmetical conservation results
• A General Notion of Realizability
• Realizability and recursive set theory

This page was built for publication: Extensional realizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1356980)