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 (11)

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 ⋮ A note on inequivalence of realizability toposes ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Computability structures, simulations and realizability ⋮ Unnamed Item ⋮ Introduction to Turing categories ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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?

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