Relative truth definability of axiomatic truth theories
Fujimoto, Kentaro
Bull. Symbolic Logic, Tome 16 (2010) no. 1, p. 305-344 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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 [13].
Publié le : 2010-09-15
Classification:  
@article{1286284556,
     author = {Fujimoto, Kentaro},
     title = {Relative truth definability of axiomatic truth theories},
     journal = {Bull. Symbolic Logic},
     volume = {16},
     number = {1},
     year = {2010},
     pages = { 305-344},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1286284556}
}

Fujimoto, Kentaro. Relative truth definability of axiomatic truth theories. Bull. Symbolic Logic, Tome 16 (2010) no. 1, pp.  305-344. http://gdmltest.u-ga.fr/item/1286284556/