Two remarks on the Lifschitz realizability topos

DOI10.2307/2275598zbMath0854.03059OpenAlexW2013452787MaRDI QIDQ4879901

Jaap van Oosten

Publication date: 13 January 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275598

zbMATH Keywords

polymorphismeffective toposimpredicative type theoriesLifschitz realizability topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Other constructive mathematics (03F65)

Related Items (2)

Basic subtoposes of the effective topos ⋮ LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION

Cites Work

• Harvey Friedman's research on the foundations of mathematics
• A small complete category
• ABOUT MODEST SETS
• Relative computability in the effective topos
• Tripos theory
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman

This page was built for publication: Two remarks on the Lifschitz realizability topos