Church's thesis from the point of view of provability interpretation

MaRDI QIDQ1823243zbMATH OpenFDO

Authors N. A. Pankrat'ev

Publication date 1988

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicmodal logicChurch's thesisprovability interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25) Intuitionistic mathematics (03F55)

Recommendations

• Formalizing Church's thesis
• Proving Church's thesis
• scientific article; zbMATH DE number 4063090
• scientific article; zbMATH DE number 3995667
• Church's thesis and its epistemological status

Cited in

(3)

• Formalizing Church's thesis
• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• scientific article; zbMATH DE number 5064387 (Why is no real title available?)

This page was built for publication: Church's thesis from the point of view of provability interpretation

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