2 papers
math.LO2025
The limitless First Incompleteness Theorem
Yong Cheng
This work is motivated by the problem of finding the limit of the applicability of the first incompleteness theorem (). A natural question is: can we find a minimal theory…
math.LO2024
On Rosser theories
Yong Cheng
Rosser theories play an important role in the study of the incompleteness phenomenon and meta-mathematics of arithmetic. In this paper, we first define the notions of -Rosser th…