Let
,
, and
denote
,
, and
order arithmetic, respectively. We let Harrington's Principle, {\sf HP},
denote the statement that there is a real
x such that every
x--admissible
ordinal is a cardinal in
L. The known proofs of Harrington's theorem
"
implies
exists" are done in two steps: first
show that
... [Show full abstract] implies {\sf HP}, and then show that {\sf HP}
implies exists. The first step is provable in . In this paper
we show that is equiconsistent with and that
is equiconsistent with there exists a
remarkable cardinal. As a corollary, does not imply
exists, whereas does. We also study
strengthenings of Harrington's Principle over and
order arithmetic.