Avoiding self-referential statements
C. Smoryński · Proceedings of the American Mathematical Society · 1978
Recursion-theoretic proofs of metamathematical results tend to rely on a pair of effectively inseparable r.e. sets and its properties. We establish a special property for a small configuration of such pairs and derive from it some metamathematical results not previously accessible to recursion-theoretic techniques.