Reinhardt, W. N. The consistency of a variant of Church’s thesis with an axiomatic theory of an epistemic notion. (English) Zbl 0615.03043 Rev. Colomb. Mat. 19, 177-200 (1985). In this paper we prove the consistency of a variant of Church’s thesis that can be formulated as a schema in a first order language with a modal operator for intuitive provability. We also conjecture the consistency of a stronger variant. Cited in 2 Documents MSC: 03F30 First-order arithmetic and fragments 03B45 Modal logic (including the logic of norms) Keywords:consistency of a variant of Church’s thesis; modal operator; intuitive provability PDFBibTeX XMLCite \textit{W. N. Reinhardt}, Rev. Colomb. Mat. 19, 177--200 (1985; Zbl 0615.03043) Full Text: EuDML