Intuitionistic proof of equiconsistency of the Church thesis with set theory

zbMath0835.03018MaRDI QIDQ1901901

V. Kh. Khakhanyan

Publication date: 3 January 1996

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

intuitionistic set theoryChurch's Thesisequiconsistencymodels of realizability type

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

This page was built for publication: Intuitionistic proof of equiconsistency of the Church thesis with set theory