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.

AN APPLICATION OF RECURSION THEORY TO ANALYSIS

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

Recursion Theory - Computational Aspects of Definability.

LIL and the Approximation of Rectangular Sums of B-valued Random Variables when Extreme Terms Are Excluded

Study on R-Calculus

EFFECTS OF REORTHOGONALIZATION: USING RECURSION METHOD IN SOME FINITE SYSTEMS

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

A Variant of Tao's Method with Application to Restricted Sumsets

Approximation theorems throughout Reverse Mathematics

A Linear Division-Based Recursion with Number Theoretic Applications

Approximation of hyperarithmetic analysis by $ω$-model reflection

Bar recursion is not computable via iteration

On Recurrence Axioms

A Curry-Howard Correspondence for Linear, Reversible Computation

On small analytic relations

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants

Banach's theorem in higher order reverse mathematics

On two recent extensions of the Big Five of Reverse Mathematics

Improving Programs which Recurse over Multiple Inductive Structures

FINDING THE LIMIT OF INCOMPLETENESS I

Variations on topological recurrence