The consistency of a variant of,Church's Thesis with an axiomatic theory of an epistemic notion
W. N. Reinhardt · Repositorio Institucional UN - Biblioteca Digital · 1985
In this paper we prove the consistency of a variant of Church's Thesis than can be formulated as a schema in a first order language with a modal operator for intuitive provability. We also conjeture the consistency of a stronger variant.