From: Charlie-Boo on
1. Prove that the halting set is expressible in PA.
2. Prove that the halting set is representable in PA.

Tx,

C-B