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 realizability[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Sierpi%EF%BF%BD%EF%BF%BDski+topos&go=Go Sierpi��ski topos]

Mathematics Subject Classification ID

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

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

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

(26)

• Classical and relative realizability
• Sheaf toposes for realizability
• Regular functors and relative realisability categories
• On categorical structures arising from implicative algebras: from topology to assemblies
• Categorifying computable reducibilities
• Functoriality of modified realizability
• Models of intuitionistic set theory in subtoposes of nested realizability toposes
• Intuitionistic analysis at the end of time
• A category of arrow algebras for modified realizability
• The Herbrand topos
• A general form of relative recursion
• Introduction to Turing categories
• Arrow algebras
• Computability structures, simulations and realizability
• On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
• Relative computability in the effective topos
• Local realizability toposes and a modal logic for computability
• A note on inequivalence of realizability toposes
• All realizability is relative
• Finiteness and computation in toposes
• Realizability Models Separating Various Fan Theorems
• A General Notion of Realizability
• A topos for extended Weihrauch degrees
• scientific article; zbMATH DE number 512780 (Why is no real title available?)
• Iterated realizability as a comma construction
• Aspects of predicative algebraic set theory. II: Realizability

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)