TL;DR
This paper employs model-theoretic techniques to prove new theorems about axiomatic truth theories built over set theories like KP and ZF.
Contribution
It introduces novel proof-theoretic results concerning truth theories over foundational set theories using model-theoretic methods.
Findings
New proof-theoretic theorems established for truth theories over KP and ZF.
Model-theoretic methods effectively analyze axiomatic theories of truth.
Enhanced understanding of the logical strength of 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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.