Tarskian truth theories over set theory
Logic
2026-05-05 v3
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).
Keywords
Cite
@article{arxiv.2604.03825,
title = {Tarskian truth theories over set theory},
author = {Ali Enayat},
journal= {arXiv preprint arXiv:2604.03825},
year = {2026}
}
Comments
39 pages. In this revision, the manuscript has been further polished and expanded, especially in sections 6 and 8