Relative and modified relative realizability
DOI10.1016/S0168-0072(01)00122-1zbMATH Open1012.03066MaRDI QIDQ1849865FDOQ1849865
Jaap van Oosten, Lars Birkedal
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
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]
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 (18)
- 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
- A general form of relative recursion
- Introduction to Turing categories
- Computability structures, simulations and realizability
- 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
- Realizability Models Separating Various Fan Theorems
- INTUITIONISTIC ANALYSIS AT THE END OF TIME
- 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)
