A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Finding the limit of incompleteness I
[article]

2020
*
arXiv
*
pre-print

In this paper, we examine the limit of applicability of Gödel's first incompleteness theorem (G1 for short). We first define the notion "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 G1 holds. To approach this question, we first examine the following question: is there a theory T such that Robinson's R interprets T but T does not interpret R (i.e. T is weaker than R w.r.t. interpretation) and

arXiv:1902.06658v2
fatcat:4wyrwroil5h3hnhparlk64kd54