Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 16, Issue 3 (2010), 305-344.
Relative truth definability of axiomatic truth theories
The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of 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 .
Bull. Symbolic Logic, Volume 16, Issue 3 (2010), 305-344.
First available in Project Euclid: 5 October 2010
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Fujimoto, Kentaro. Relative truth definability of axiomatic truth theories. Bull. Symbolic Logic 16 (2010), no. 3, 305--344. doi:10.2178/bsl/1286284556. https://projecteuclid.org/euclid.bsl/1286284556