{"id":"arxiv/2604.03825","url":"https://arxiv.org/abs/2604.03825","tags":["math.LO"],"score":0,"title":"Tarskian truth theories over set theory","domain":"math.LO","source":"arxiv","authors":["Ali Enayat"],"reviews":0,"subject":"math.LO","summary":"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).","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-04","reactions":{}}