{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T01:57:14Z","timestamp":1777687034654,"version":"3.51.4"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T00:00:00Z","timestamp":1407801600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s00153-014-0392-9","type":"journal-article","created":{"date-parts":[[2014,8,11]],"date-time":"2014-08-11T02:02:04Z","timestamp":1407722524000},"page":"855-863","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["From hierarchies to well-foundedness"],"prefix":"10.1007","volume":"53","author":[{"given":"Dandolo","family":"Flumini","sequence":"first","affiliation":[]},{"given":"Kentaro","family":"Sato","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,12]]},"reference":[{"key":"392_CR1","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":"392_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.2307\/2273321","volume":"48","author":"S. Feferman","year":"1983","unstructured":"Feferman S., J\u00e4ger G.: Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. J. Symb. Log. 48, 63\u201370 (1983)","journal-title":"J. Symb. Log."},{"key":"392_CR3","volume-title":"Set Theory, The Third Millennium Edition","author":"T. Jech","year":"2003","unstructured":"Jech T.: Set Theory, The Third Millennium Edition. Springer, Berlin (2003)"},{"key":"392_CR4","unstructured":"Logic and Theory Group (LTG), IAM, Universit\u00e4t Bern: Subsystems of second order arithmetic and set theory. http:\/\/www.ltg.unibe.ch\/research\/Subsystems . Accessed 28 May 2014"},{"key":"392_CR5","doi-asserted-by":"crossref","first-page":"575","DOI":"10.2178\/jsl\/1305810765","volume":"76","author":"A. Marcone","year":"2011","unstructured":"Marcone A., Montalb\u00e1n A.: Veblen functions for computability theorists. J. Symb. Log. 76, 575\u2013602 (2011)","journal-title":"J. Symb. Log."},{"key":"392_CR6","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1002\/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-S","volume":"48","author":"C. R\u00fcede","year":"2002","unstructured":"R\u00fcede C., Strahm T.: Intuitionistic fixed point theories for strictly positive operators. Math. Log. Q. 48, 159\u2013202 (2002)","journal-title":"Math. Log. Q."},{"key":"392_CR7","unstructured":"Sato, K.: Relative predicativity and dependent recursion in second-order set theory and higher-order theories. J. Symb. Log. (2014). http:\/\/www.iam.unibe.ch\/ltgpub\/2012\/sat12"},{"key":"392_CR8","volume-title":"Subsystems of Second Order Arithmetic. Perspectives in Logic","author":"S.G. Simpson","year":"1998","unstructured":"Simpson S.G.: Subsystems of Second Order Arithmetic. Perspectives in Logic. Cambridge University Press, Cambridge (1998)"},{"key":"392_CR9","doi-asserted-by":"crossref","first-page":"59","DOI":"10.2307\/2272271","volume":"40","author":"J. Steel","year":"1975","unstructured":"Steel J.: Descending sequences of degrees. J. Symb. Log. 40, 59\u201361 (1975)","journal-title":"J. Symb. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0392-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0392-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0392-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:54:43Z","timestamp":1558626883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0392-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,12]]},"references-count":9,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["392"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0392-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,12]]}}}