×

The consistency of a variant of Church’s thesis with an axiomatic theory of an epistemic notion. (English) Zbl 0615.03043

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.

MSC:

03F30 First-order arithmetic and fragments
03B45 Modal logic (including the logic of norms)
PDFBibTeX XMLCite
Full Text: EuDML