Extensional realizability
From MaRDI portal
Recommendations
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)