The complexity of the set of truths of arithmetic is determined for various theories of truth deriving from Kripke and from Gupta and Herzberger.
No takes yet. Share an insight, caveat, or question.
John P. Burgess (1986) studied this question.