Abstract:Abstract In this paper, we examine the limit of applicability of Gödel’s first incompleteness theorem ( $\textsf {G1}$ for short). We first define the notion “ $\textsf {G1}$ holds for the theory $T$ ”. This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which $\textsf {G1}$ holds. To approach this question, we first examine the following question: is there a theory T such that Robinson’s $\mathbf {R}$ interprets T but T does not interpret $\mathbf {R}$ (i.e., T is weaker than $\mathbf {R}$ w.r.t. interpretation) and $\textsf {G1}$ holds for T ? In this paper, we show that there are many such theories based on Jeřábek’s work using some model theory. We prove that for each recursively inseparable pair $\langle A,B\rangle $ , we can construct a r.e. theory $U_{\langle A,B\rangle }$ such that $U_{\langle A,B\rangle }$ is weaker than $\mathbf {R}$ w.r.t. interpretation and $\textsf {G1}$ holds for $U_{\langle A,B\rangle }$ . As a corollary, we answer a question from Albert Visser. Moreover, we prove that for any Turing degree $\mathbf {0}< \mathbf {d}<\mathbf {0}^{\prime }$ , there is a theory T with Turing degree $\mathbf {d}$ such that $\textsf {G1}$ holds for T and T is weaker than $\mathbf {R}$ w.r.t. Turing reducibility. As a corollary, based on Shoenfield’s work using some recursion theory, we show that there is no theory with a minimal degree of Turing reducibility for which $\textsf {G1}$ holds.

Incompleteness for stably consistent formal systems

Incompleteness for stably computable formal systems

Incompleteness theorems via Turing category

Consistency, Optimality, and Incompleteness

What If Turing Had Preceded Gödel?

Epistemological Consequences of the Incompleteness Theorems

A classification of incompleteness statements

FINDING THE LIMIT OF INCOMPLETENESS I

The limitless First Incompleteness Theorem

An Intuitively Complete Analysis of Godel's Incompleteness

PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability

Sometimes tame, sometimes wild: weak continuity

Incompleteness of boundedly axiomatizable theories

Constructive completeness and non-discrete languages

Some reflections on the relationship between logical incompleteness and concrete incompleteness

Beware of the Gödel- Wette paradox

Consistent ultrafinitist logic

Yablo's Paradox And Arithmetical Incompleteness

A proof complexity conjecture and the Incompleteness theorem

Stable Coherent Systems

From Gödel's Incompleteness Theorem to the completeness of bot beliefs (Extended abstract)