Preservation theorems and restricted consistency statements in bounded arithmetic

Arnold Beckmann. Preservation theorems and restricted consistency statements in bounded arithmetic. Annals of Pure and Applied Logic, 126(1-3):255-280, 2004. [doi]

Abstract

Abstract is missing.