A Proof of Grilliot's Theorem

Abstract

We give a proof of Grilliot's unpublished theorem that all sets definable by a E 1 1 induction on N are also definable by a positive E 1 1 induction on N. The proof is recursion -theoretic and likely very similar to Grilliot's original proof.