Relative and modified relative realizability

DOI10.1016/S0168-0072(01)00122-1MaRDI QIDQ1849865zbMATH OpenFDO

Authors Lars Birkedal, Jaap van Oosten

Publication date 2 December 2002

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(01)00122-1

zbMATH Keywords

modified realizabilitypartial combinatory algebrasralizability toposrelative realizabilitySierpiński topos

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• 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

Cites work

• 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

Cited in

(29)

• 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)