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.

There are no minimal effectively inseparable theories

The limitless First Incompleteness Theorem

FINDING THE LIMIT OF INCOMPLETENESS I

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories

Incompleteness of boundedly axiomatizable theories

Relations Between Strongly Minimal Sets in Models

Consistency, Optimality, and Incompleteness

Essential hereditary undecidability

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

Pour-El's Landscape

Minimal Equational Theories for Quantum Circuits

Some reflections on the relationship between logical incompleteness and concrete incompleteness

Implications of Tarski's Undefinability Theorem on the Theory of Everything

A Constructor-Based EI-model Semantics of EI-CTRS

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures

Hereditary undecidability of fragments of some elementary theories

Visceral theories without assumptions

Minimal operational theories: classical theories with quantum features

On Tao's "finitary" infinite pigeonhole principle

Complexity in Tame Quantum Theories

An Invitation to Quantum Incompatibility