187 citations · 301 across the 16 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 2 cited
There are no minimal effectively inseparable theories
Yong Cheng
This paper belongs to the research on the limit of the first incompleteness theorem. Effectively inseparable theories (EI) can be viewed as an effective version of essentially unde…
math.LO2022★ 4 cited
Effective inseparability and some applications in meta-mathematics
Yong Cheng
Effectively inseparable pairs and their properties play an important role in the meta-mathematics of arithmetic and incompleteness. Different notions are introduced and shown in th…