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

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