Relative and modified relative realizability
The notion of relative realizability, originally due to Kleene and Vesley, has recently been studied in topos-theoretic terms by the first author of this paper together with \textit{S. Awodey} and \textit{D. S. Scott} [``Local realizability toposes and a modal logic for computability, Math. Struct. Comput. Sci. 12, 319-334 (2002; Zbl 1007.03057)]. The topos-theoretic version of Kleene's modified realizability was studied by the second author in ``The modified realizability topos [J. Pure Appl. Algebra 116, 273-289 (1997; Zbl 0882.03059)]. In the present paper, the authors show how the two notions may be combined, by regarding an inclusion (\(A_{\sharp}\subseteq A\)) between partial combinatory algebras as an internal PCA in the Sierpiński topos; in this setting, the relative realizability topos of the pair \((A,A_{\sharp})\) appears as an open subtopos of the realizability topos of this internal PCA, and its closed complement yields a `relative modified realizability' topos. This point of view makes it easy to construct various functors between the different realizability toposes under consideration.
- A partial analysis of modified realizability
- Confined modified realizability
- Bounded modified realizability
- Classical and relative realizability
- Functoriality of modified realizability
- The modified realizability topos
- Modified realizability and predicate logic
- Extensional realizability
- A General Notion of Realizability
- Relativization in resolvability and irresolvability
- A semantical proof of De Jongh's theorem
- Can there be no nonrecursive functions?
- Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
- Developing theories of types and computability via realizability
- Elementary axioms for local maps of toposes
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 512780 (Why is no real title available?)
- scientific article; zbMATH DE number 1497740 (Why is no real title available?)
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- Local Maps of Toposes
- Open maps of toposes
- Relativized realizability in intuitionistic arithmetic of all finite types
- Sheaves in geometry and logic: a first introduction to topos theory
- The modified realizability topos
- Tripos theory
- Extensional realizability
- Developing theories of types and computability via realizability
- Functoriality of modified realizability
- Models of intuitionistic set theory in subtoposes of nested realizability toposes
- Local realizability toposes and a modal logic for computability
- A General Notion of Realizability
- All realizability is relative
- Relative computability in the effective topos
- A note on inequivalence of realizability toposes
- scientific article; zbMATH DE number 512780 (Why is no real title available?)
- Intuitionistic analysis at the end of time
- Finiteness and computation in toposes
- The Sierpinski object in the Scott realizability topos
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
- Realizability Models Separating Various Fan Theorems
- Aspects of predicative algebraic set theory. II: Realizability
- Regular functors and relative realisability categories
- Iterated realizability as a comma construction
- Classical and relative realizability
- Computability structures, simulations and realizability
- The Herbrand topos
- On categorical structures arising from implicative algebras: from topology to assemblies
- Arrow algebras
- Categorifying computable reducibilities
- A category of arrow algebras for modified realizability
- A topos for extended Weihrauch degrees
- A general form of relative recursion
- Sheaf toposes for realizability
- Introduction to Turing categories
This page was built for publication: Relative and modified relative realizability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1849865)
