Conservative theories of classical truth

Abstract

Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA + "there is a satisfaction class" and the theory FS| of [2] are conservative over PA. © 1999 Kluwer Academic Publishers.