{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T14:47:49Z","timestamp":1781189269896,"version":"3.54.1"},"reference-count":41,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":1232,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2010,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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].<\/jats:p>","DOI":"10.2178\/bsl\/1286284556","type":"journal-article","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T13:16:17Z","timestamp":1286284577000},"page":"305-344","source":"Crossref","is-referenced-by-count":33,"title":["Relative Truth Definability of Axiomatic Truth Theories"],"prefix":"10.1017","volume":"16","author":[{"given":"Kentaro","family":"Fujimoto","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600000792_ref013","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080209"},{"key":"S1079898600000792_ref019","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005148426909"},{"key":"S1079898600000792_ref041","first-page":"152","volume-title":"Logic, semantics, metamathematics","author":"Tarski","year":"1983"},{"key":"S1079898600000792_ref040","first-page":"341","volume-title":"Philosophy and Phenomenological Research","volume":"4","author":"Tarski","year":"1944"},{"key":"S1079898600000792_ref039","volume-title":"Proof theory","author":"Takeuti","year":"1987"},{"key":"S1079898600000792_ref018","doi-asserted-by":"publisher","DOI":"10.1515\/9783050072258"},{"key":"S1079898600000792_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-002-0158-7"},{"key":"S1079898600000792_ref012","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005622403850"},{"key":"S1079898600000792_ref002","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S1079898600000792_ref016","volume-title":"Stanford encyclopedia of philosophy","author":"Halbach"},{"key":"S1079898600000792_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71364-8"},{"key":"S1079898600000792_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3"},{"key":"S1079898600000792_ref003","doi-asserted-by":"publisher","DOI":"10.2307\/2274965"},{"key":"S1079898600000792_ref007","doi-asserted-by":"publisher","DOI":"10.2307\/2269764"},{"key":"S1079898600000792_ref037","doi-asserted-by":"publisher","DOI":"10.2307\/2275927"},{"key":"S1079898600000792_ref025","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/108.429.69"},{"key":"S1079898600000792_ref026","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1981-045-3"},{"key":"S1079898600000792_ref017","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","article-title":"A system of complete and consistent truth","volume":"35","author":"Halbach","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1079898600000792_ref034","volume-title":"Proof theory: The first step into impredicativity","author":"Pohlers","year":"2009"},{"key":"S1079898600000792_ref020","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005662017962"},{"key":"S1079898600000792_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2274902"},{"key":"S1079898600000792_ref038","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2"},{"key":"S1079898600000792_ref010","doi-asserted-by":"crossref","first-page":"364","DOI":"10.2307\/2274509","article-title":"Hilbert's program relativized: Proof-theoretical and foundational reductions","volume":"53","author":"Feferman","year":"1988","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600000792_ref035","doi-asserted-by":"publisher","DOI":"10.2307\/2274713"},{"key":"S1079898600000792_ref031","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260929"},{"key":"S1079898600000792_ref023","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1146620166"},{"key":"S1079898600000792_ref008","doi-asserted-by":"publisher","DOI":"10.2307\/2269866"},{"key":"S1079898600000792_ref036","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107325944.011"},{"key":"S1079898600000792_ref029","volume-title":"Aspects of incompleteness","author":"Lindstr\u00f6m","year":"2003"},{"key":"S1079898600000792_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-007-9057-z"},{"key":"S1079898600000792_ref032","first-page":"95","volume-title":"Self-reference","author":"McGee","year":"2006"},{"key":"S1079898600000792_ref033","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005692729370"},{"key":"S1079898600000792_ref022","volume-title":"Axiomatic theories of truth","author":"Halbach"},{"key":"S1079898600000792_ref027","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1079898600000792_ref024","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"Kaye","year":"1991"},{"key":"S1079898600000792_ref021","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990220"},{"key":"S1079898600000792_ref005","doi-asserted-by":"publisher","DOI":"10.2307\/2941075"},{"key":"S1079898600000792_ref028","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1981-046-0"},{"key":"S1079898600000792_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90073-X"},{"key":"S1079898600000792_ref006","unstructured":"Feferman S. , Reflecting on incompleteness, handwritten notes, 03 1987, 39 pp."},{"key":"S1079898600000792_ref030","doi-asserted-by":"publisher","DOI":"10.1007\/BF00649483"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600000792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T23:12:53Z","timestamp":1711840373000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600000792\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["S1079898600000792"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1286284556","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}