On local proof restrictions for strong theories
CONTENTSIntroduction.................................................................................................................... 5Chapter 1. Preliminaries............................................................................................. 7Chapter 2. Formal arithmetization............................................................................. 12Chapter 3. Proof restriction functions....................................................................... 18Chapter 4. Reflexive...