Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman

DOI10.2307/2275064zbMath0743.03036OpenAlexW2122900435MaRDI QIDQ3985093

Jaap van Oosten

Publication date: 27 June 1992

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

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

zbMATH Keywords

effective toposrealizability toposChurch's Thesissecond order arithmeticMarkov's Principleintuitionistic higher order arithmetic HAH

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (6)

Basic subtoposes of the effective topos ⋮ Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ Intermediate logics and the de Jongh property ⋮ Two remarks on the Lifschitz realizability topos ⋮ Rules and arithmetics ⋮ Relative and modified relative realizability

This page was built for publication: Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman