DOI: 10.1093/logcom/exad023 ISSN: 0955-792X

Effective inseparability and some applications in meta-mathematics

Yong Cheng
  • Logic
  • Hardware and Architecture
  • Arts and Humanities (miscellaneous)
  • Software
  • Theoretical Computer Science
Show PDF Cite

Abstract

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 the literature to be equivalent to effective inseparability. We give a much simpler proof of these equivalences using the strong double recursion theorem. Then we prove some results about the application of effective inseparability in meta-mathematics.

More from our Archive