Relative and modified relative realizability

DOI10.1016/S0168-0072(01)00122-1zbMath1012.03066MaRDI QIDQ1849865

Jaap van Oosten, Lars Birkedal

Publication date: 2 December 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

modified realizabilitypartial combinatory algebrasralizability toposrelative realizabilitySierpiński topos

Mathematics Subject Classification ID

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

Related Items (9)

Realizability Models Separating Various Fan Theorems ⋮ Functoriality of modified realizability ⋮ On categorical structures arising from implicative algebras: from topology to assemblies ⋮ INTUITIONISTIC ANALYSIS AT THE END OF TIME ⋮ Regular functors and relative realisability categories ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Computability structures, simulations and realizability ⋮ Introduction to Turing categories ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes

Cites Work

• The modified realizability topos
• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
• Open maps of toposes
• Sheaves in geometry and logic: a first introduction to topos theory
• Developing theories of types and computability via realizability
• A semantical proof of De Jongh's theorem
• Elementary axioms for local maps of toposes
• Local Maps of Toposes
• Tripos theory
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• Relativized realizability in intuitionistic arithmetic of all finite types
• Can there be no nonrecursive functions?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relative and modified relative realizability