On local proof restrictions for strong theories
Don Jensen
Similarity:
CONTENTSIntroduction.................................................................................................................... 5Chapter 1. Preliminaries............................................................................................. 7Chapter 2. Formal arithmetization............................................................................. 12Chapter 3. Proof restriction functions....................................................................... 18Chapter...