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

zbMath0681.03041MaRDI QIDQ1823243

N. A. Pankrat'ev

Publication date: 1988

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

zbMATH Keywords

Church's thesismodal logicintuitionistic logicprovability interpretation

Mathematics Subject Classification ID

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

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