Tarskian truth theories over set theory

Abstract

This work uses mostly model-theoretic methods to establish new proof-theoretic theorems about several axiomatic theories of truth over KP (Kripke-Platek set theory) and stronger theories, especially ZF (Zermelo-Fraenkel set theory).

arXiv comment39 pages. In this revision, the manuscript has been further polished, but there are no substantive changes in relation to the previous draft