A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between two arithmetical theories. Both theories essentially speak about the fundamental principle of reflection: if a sentence is provable then it is true. The first theory is axiomatized using reflection axioms and the second theory uses reflection rules. The Reduction Property tells us that the first theory extends thearXiv:1903.03331v1 fatcat:a2wyzjm7gzhetepspokhuxwxlm