The modified realizability topos

DOI10.1016/S0022-4049(97)00101-1zbMath0882.03059OpenAlexW2042945291MaRDI QIDQ678851

Jaap van Oosten

Publication date: 3 February 1998

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

Full work available at URL: https://doi.org/10.1016/s0022-4049(97)00101-1

zbMATH Keywords

effective toposrealizability topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)

Related Items (12)

A partial analysis of modified realizability ⋮ Functoriality of modified realizability ⋮ A characterization of generalized existential completions ⋮ On categorical structures arising from implicative algebras: from topology to assemblies ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ On the ubiquity of certain total type structures ⋮ The Herbrand topos ⋮ The Herbrand topos ⋮ Axioms and (counter)examples in synthetic domain theory ⋮ The sequentially realizable functionals ⋮ Relative and modified relative realizability ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes

Cites Work

• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Colimit completions and the effective topos
• Tripos theory
• On weak completeness of intuitionistic predicate logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The modified realizability topos