On local proof restrictions for strong theories
Don Jensen
GDML_Books, (1973), p.

CONTENTSIntroduction.................................................................................................................... 5Chapter 1. Preliminaries............................................................................................. 7Chapter 2. Formal arithmetization............................................................................. 12Chapter 3. Proof restriction functions....................................................................... 18Chapter 4. Reflexive theories and proof restriction functions.............................. 24Chapter 5. Truth definitions and formalized consistency proofs......................... 30Chapter 6. Pair proof restriction functions............................................................... 37Conclusions.................................................................................................................. 45Bibliography................................................................................................................... 46

EUDML-ID : urn:eudml:doc:268547 
@book{bwmeta1.element.zamlynska-5f27515b-cb99-4a8c-99e6-520f0031b668,
     author = {Don Jensen},
     title = {On local proof restrictions for strong theories},
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1973},
     zbl = {0268.02019},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-5f27515b-cb99-4a8c-99e6-520f0031b668}
}

Don Jensen. On local proof restrictions for strong theories. GDML_Books (1973),  http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-5f27515b-cb99-4a8c-99e6-520f0031b668/