On a Hierarchy of Reflection Principles in Peano Arithmetic
Abstract
We study reflection principles of Peano Arithmetic PA which are based on both proof and provability. Any such reflection principle in PA is equivalent to either $\Box P\!\rightarrow\! P$ ($\Box P$ stands for `$P$ is provable') or $\Box^k u\!\!:\!\!P\!\rightarrow\! P$ for some $k\geq 0$ ($t:P$ states `$t$ is a proof of $P$'). Reflection principles constitute a non-collapsing hierarchy with respect to their deductive strength $$u\!\!:\!\!P\!\rightarrow\! P\ \ \prec\ \ \Box u\!\!:\!\!P\!\rightarrow\! P\ \ \prec\ \ \Box^2 u\!\!:\!\!P\!\rightarrow\! P \ \ \prec\ \ldots\ \prec\ \ \Box P\!\rightarrow\! P.$$
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2014
- DOI:
- 10.48550/arXiv.1405.2558
- arXiv:
- arXiv:1405.2558
- Bibcode:
- 2014arXiv1405.2558N
- Keywords:
-
- Mathematics - Logic;
- 03F03;
- 03F25;
- 03F30;
- 03F45
- E-Print:
- 13 pages