Abstract

LetZ2,Z3, andZ4denote 2nd, 3rd, and 4thorder arithmetic, respectively. We let Harrington’s Principle, HP, denote the statement that there is a realxsuch that everyx-admissible ordinal is a cardinal inL. The known proofs of Harrington’s theorem “$Det\left$implies 0♯exists” are done in two steps: first show that$Det\left$implies HP, and then show that HP implies 0♯exists. The first step is provable inZ2. In this paper we show thatZ2+ HP is equiconsistent with ZFC and thatZ3+ HP is equiconsistent with ZFC + there exists a remarkable cardinal. As a corollary,Z3+ HP does not imply 0♯exists, whereas Z4+ HP does. We also study strengthenings of Harrington’s Principle over 2ndand 3rdorder arithmetic.