{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T07:02:07Z","timestamp":1771916527224,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,1,12]],"date-time":"2010-01-12T00:00:00Z","timestamp":1263254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s00153-009-0170-2","type":"journal-article","created":{"date-parts":[[2010,1,11]],"date-time":"2010-01-11T05:25:35Z","timestamp":1263187535000},"page":"213-247","source":"Crossref","is-referenced-by-count":16,"title":["An ordinal analysis for theories of self-referential truth"],"prefix":"10.1007","volume":"49","author":[{"given":"Graham Emil","family":"Leigh","sequence":"first","affiliation":[]},{"given":"Michael","family":"Rathjen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,1,12]]},"reference":[{"key":"170_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/j.apal.2009.01.001","volume":"160","author":"B. Afshari","year":"2009","unstructured":"Afshari B., Rathjen M.: Reverse mathematics and well-ordering principles: a pilot study. Ann. Pure Appl. Log. 160, 231\u2013237 (2009)","journal-title":"Ann. Pure Appl. Log."},{"key":"170_CR2","doi-asserted-by":"crossref","unstructured":"Afshari, B., Rathjen, M.: A note on the theory of positive induction, $${{\\rm ID}_1^*}$$ , Arch. Math. Logic (2009). doi: 10.1007\/s00153-009-0168-9","DOI":"10.1007\/s00153-009-0168-9"},{"key":"170_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0091894","volume-title":"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Theories","author":"W. Buchholz","year":"1981","unstructured":"Buchholz W., Feferman S., Pohlers W., Sieg W.: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Theories. Springer, Berlin (1981)"},{"key":"170_CR4","unstructured":"Cantini, A.: A note on a predicatively reducible theory of elementary iterated induction. Bollettino U.M.I., pp. 413\u2013430 (1985)"},{"key":"170_CR5","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1017\/S0022481200031224","volume":"51","author":"A. Cantini","year":"1986","unstructured":"Cantini A.: On the relation between choice and comprehension principles in second order arithmetic. J. Symb. Log. 51, 360\u2013373 (1986)","journal-title":"J. Symb. Log."},{"key":"170_CR6","doi-asserted-by":"crossref","first-page":"244","DOI":"10.2307\/2274965","volume":"55","author":"A. Cantini","year":"1990","unstructured":"Cantini A.: A theory of formal truth arithmetically equivalent to ID 1. J. Symb. Log. 55, 244\u2013259 (1990)","journal-title":"J. Symb. Log."},{"key":"170_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269764","volume":"29","author":"S. Feferman","year":"1964","unstructured":"Feferman S.: Systems of predicative analysis. J. Symb. Log. 29, 1\u201330 (1964)","journal-title":"J. Symb. Log."},{"key":"170_CR8","first-page":"171","volume-title":"Iterated Inductive Fixed-Point Theories: Application to Hancock\u2019s Conjecture. Patras Logic Symposion","author":"S. Feferman","year":"1982","unstructured":"Feferman S.: Iterated Inductive Fixed-Point Theories: Application to Hancock\u2019s Conjecture. Patras Logic Symposion, pp. 171\u2013196. North-Holland, Amsterdam (1982)"},{"key":"170_CR9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S. Feferman","year":"1984","unstructured":"Feferman S.: Toward useful type-free theories, I. J. Symb. Log. 49, 75\u2013111 (1984)","journal-title":"J. Symb. Log."},{"key":"170_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S. Feferman","year":"1991","unstructured":"Feferman S.: Reflecting on incompleteness. J. Symb. Log. 56, 1\u201349 (1991)","journal-title":"J. Symb. Log."},{"key":"170_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","volume":"33","author":"H. Friedman","year":"1987","unstructured":"Friedman H., Sheard M.: An axiomatic approach to self-referential truth. Ann. Pure Appl. Log. 33, 1\u201321 (1987)","journal-title":"Ann. Pure Appl. Log."},{"key":"170_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(94)00003-L","volume":"71","author":"H. Friedman","year":"1995","unstructured":"Friedman H., Sheard M.: Elementary descent recursion and proof theory. Ann. Pure Appl. Log. 71, 1\u201345 (1995)","journal-title":"Ann. Pure Appl. Log."},{"key":"170_CR13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1023\/A:1005662017962","volume":"53","author":"V. Halbach","year":"2000","unstructured":"Halbach V.: Truth and reduction. Erkenntnis 53, 97\u2013126 (2000)","journal-title":"Erkenntnis"},{"key":"170_CR14","doi-asserted-by":"crossref","unstructured":"Halbach, V.: A system of complete and consistent truth, Notre Dame J. Formal Log. 35 (1994).","DOI":"10.1305\/ndjfl\/1040511340"},{"key":"170_CR15","volume-title":"Grundagen der Mathematik I","author":"D. Hilbert","year":"1939","unstructured":"Hilbert D., Bernays P.: Grundagen der Mathematik I. Springer, Berlin (1939)"},{"key":"170_CR16","doi-asserted-by":"crossref","first-page":"818","DOI":"10.2307\/2275787","volume":"61","author":"G. J\u00e4ger","year":"1996","unstructured":"J\u00e4ger G., Strahm T.: Some theories with positive induction of ordinal strength \u03c6\u03c90. J. Symb. Log. 61, 818\u2013842 (1996)","journal-title":"J. Symb. Log."},{"key":"170_CR17","first-page":"307","volume":"65","author":"G. Kreisel","year":"1962","unstructured":"Kreisel G.: The axiom of choice and the class of hyperarithmetic functions. Koninklijke Nederlands Akadenie van Wetenschappen, proceedings, ser. A. 65, 307\u2013319 (1962)","journal-title":"Koninklijke Nederlands Akadenie van Wetenschappen, proceedings, ser. A."},{"key":"170_CR18","unstructured":"Leigh, G.: Reflecting on Truth, PhD thesis, University of Leeds, (forthcoming)"},{"key":"170_CR19","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00649483","volume":"14","author":"V. McGee","year":"1985","unstructured":"McGee V.: How truth-like can a predicate be? A negative result. J. Philos. Log. 14, 399\u2013410 (1985)","journal-title":"J. Philos. Log."},{"key":"170_CR20","doi-asserted-by":"crossref","first-page":"721","DOI":"10.2178\/jsl\/1154698573","volume":"71","author":"D. Probst","year":"2006","unstructured":"Probst D.: The proof-theoretic analysis of transfinitely iterated quasi least fixed points. J. Symb. Log. 71, 721\u2013726 (2006)","journal-title":"J. Symb. Log."},{"key":"170_CR21","doi-asserted-by":"crossref","first-page":"715","DOI":"10.2307\/2274713","volume":"56","author":"M. Rathjen","year":"1991","unstructured":"Rathjen M.: The role of parameters in bar rule and bar induction. J. Symb. Log. 56, 715\u2013730 (1991)","journal-title":"J. Symb. Log."},{"key":"170_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K. Sch\u00fctte","year":"1977","unstructured":"Sch\u00fctte K.: Proof Theory. Springer, Berlin (1977)"},{"key":"170_CR23","volume-title":"Handbook of Mathematical Logic","author":"H. Schwichtenberg","year":"1977","unstructured":"Schwichtenberg H.: Proof theory: some applications of cut-elimination. In: Barwise, J. (eds) Handbook of Mathematical Logic, North-Holland, Amsterdam (1977)"},{"key":"170_CR24","doi-asserted-by":"crossref","first-page":"1032","DOI":"10.2307\/2275927","volume":"59","author":"M. Sheard","year":"1994","unstructured":"Sheard M.: A guide to truth predicates in the modern era. J. Symb. Log. 59, 1032\u20131053 (1994)","journal-title":"J. Symb. Log."},{"key":"170_CR25","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1023\/A:1011902222652","volume":"68","author":"M. Sheard","year":"2001","unstructured":"Sheard M.: Weak and strong theories of truth. Stud. Logica 68, 89\u2013101 (2001)","journal-title":"Stud. Logica"},{"key":"170_CR26","volume-title":"Subsystems of Second Order Arithmetic","author":"S. Simpson","year":"1998","unstructured":"Simpson S.: Subsystems of Second Order Arithmetic. Springer, Berlin (1998)"},{"key":"170_CR27","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S0049-237X(08)71123-6","volume-title":"Handbook of Mathematical Logic","author":"C. Smorynski","year":"1977","unstructured":"Smorynski C.: The incompleteness theorems. In: Barwise, J. (eds) Handbook of Mathematical Logic, pp. 821\u2013865. North-Holland, Amsterdam (1977)"},{"key":"170_CR28","volume-title":"Proof Theory","author":"G. Takeuti","year":"1987","unstructured":"Takeuti G.: Proof Theory, 2nd edn. North-Holland, Amsterdam (1987)","edition":"2"},{"key":"170_CR29","first-page":"261","volume":"1","author":"A. Tarski","year":"1936","unstructured":"Tarski A.: Der Wahrheitsbegriff in den formalisierten Sprachen. Stud. Philos. 1, 261\u2013404 (1936)","journal-title":"Stud. Philos."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0170-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-009-0170-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0170-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:36:43Z","timestamp":1558625803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-009-0170-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,12]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["170"],"URL":"https:\/\/doi.org\/10.1007\/s00153-009-0170-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,12]]}}}