Relative and modified relative realizability

DOI10.1016/S0168-0072(01)00122-1zbMATH Open1012.03066MaRDI QIDQ1849865FDOQ1849865

Authors: Lars Birkedal, Jaap van Oosten 

Publication date: 2 December 2002

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

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

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)

Cites Work

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

Cited In (22)

• 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
• Functoriality of modified realizability
• Models of intuitionistic set theory in subtoposes of nested realizability toposes
• Intuitionistic analysis at the end of time
• The Herbrand topos
• A general form of relative recursion
• Introduction to Turing categories
• 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
• Title not available (Why is that?)
• 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)