Intuitionistic proof of equiconsistency of the Church thesis with set theory

MaRDI QIDQ1901901zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 549071
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• scientific article; zbMATH DE number 3841848
• Church's thesis, continuity, and set theory
• scientific article; zbMATH DE number 4063090

Cited in

(6)

• scientific article; zbMATH DE number 4063090 (Why is no real title available?)
• Independence of the uniformity principle from Church's thesis in intuitionistic set theory
• Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
• Church's thesis, continuity, and set theory
• scientific article; zbMATH DE number 3841848 (Why is no real title available?)
• scientific article; zbMATH DE number 1211956 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1901901)