The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overviewof recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].
No takes yet. Share an insight, caveat, or question.
Kentaro Fujimoto (2010) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: