Functoriality of modified realizability

DOI10.1515/TMJ-2017-0109zbMath1386.18008OpenAlexW2774746460MaRDI QIDQ1683375

Peter T. Johnstone

Publication date: 8 December 2017

Published in: Tbilisi Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/tmj-2017-0109

zbMATH Keywords

modified realizabilityrealizability toposSchönfinkel algebra

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Partial algebras (08A55) Higher-type and set recursion theory (03D65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The modified realizability topos
• A general form of relative recursion
• Realizability. An introduction to its categorical side
• Relative and modified relative realizability
• Local Maps of Toposes
• A note on inequivalence of realizability toposes
• Tripos theory
• Ordered partial combinatory algebras
• More on Geometric Morphisms between Realizability Toposes
• The Herbrand topos

This page was built for publication: Functoriality of modified realizability