{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T00:07:20Z","timestamp":1759190840841,"version":"3.44.0"},"reference-count":27,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1999,5,19]],"date-time":"1999-05-19T00:00:00Z","timestamp":927072000000},"content-version":"vor","delay-in-days":778,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1016\/s0168-0072(96)00040-1","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T12:11:55Z","timestamp":1049717515000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"title":["On the proof-theoretic strength of monotone induction in explicit mathematics"],"prefix":"10.1016","volume":"85","author":[{"given":"Thomas","family":"Gla\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rathjen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Schl\u00fcter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(96)00040-1_BIB1","series-title":"Admissible Sets and Structures, Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","author":"Barwise","year":"1975"},{"year":"1985","series-title":"Foundations of Constructive Mathematics","author":"Beeson","key":"10.1016\/S0168-0072(96)00040-1_BIB2"},{"volume":"Vol. 78","year":"1979","series-title":"Logic Colloquium 78","key":"10.1016\/S0168-0072(96)00040-1_BIB3"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB4","unstructured":"D. Cenzer, Ordinal recursion and inductive definitions, in: [10, 221\u2013264]."},{"volume":"Vol. 450","year":"1975","series-title":"Algebra and Logic","key":"10.1016\/S0168-0072(96)00040-1_BIB5"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB6","unstructured":"S. Feferman, A language and axioms for explicit mathematics, in: [5, 87\u2013139]."},{"key":"10.1016\/S0168-0072(96)00040-1_BIB7","unstructured":"S. Feferman, Constructive theories of functions and classes, in: [3, 159\u2013224]."},{"key":"10.1016\/S0168-0072(96)00040-1_BIB8","series-title":"The L.E.J. Brouwer Centenary Symp.","first-page":"95","article-title":"Monotone inductive definitions","volume":"Vol. 110","author":"Feferman","year":"1982"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB9","series-title":"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies","first-page":"78","article-title":"Proof-theoretical equivalences between classical and constructive theories for analysis","volume":"Vol. 897","author":"Feferman","year":"1981"},{"volume":"Vol. 79","year":"1974","series-title":"Generalized Recursion Theory I","key":"10.1016\/S0168-0072(96)00040-1_BIB10"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB11","series-title":"Intuitionism and Proof Theory, Studies in Logic and the Foundations of Mathematics","first-page":"435","article-title":"Iterated inductive definitions and \u03a312-AC","author":"Friedman","year":"1970"},{"article-title":"Standardstrukturen f\u00fcr Systeme Expliziter Mathematik","year":"1993","author":"Gla\u00df","key":"10.1016\/S0168-0072(96)00040-1_BIB12"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0168-0072(94)00058-B","article-title":"Understanding uniformity in Feferman's explicit mathematics","volume":"75","author":"Gla\u00df","year":"1995","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB14","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF01278464","article-title":"The strength of some Martin-L\u00f6f type theories","volume":"33","author":"Griffor","year":"1994","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB15","doi-asserted-by":"crossref","first-page":"888","DOI":"10.1090\/S0002-9904-1976-14194-8","article-title":"On monotone versus nonmonotone induction","volume":"82","author":"Harrington","year":"1976","journal-title":"Bull. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(96)00040-1_BIB16","series-title":"Recursion-theoretic Hierarchies, Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12898-5","author":"Hinman","year":"1978"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB17","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF02023014","article-title":"A well ordering proof for Feferman's theory T0","volume":"23","author":"J\u00e4ger","year":"1983","journal-title":"Arch. Math. Logik und Grundlagenforschung"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB18","article-title":"Theories for Admissible Sets: A Unifying Approach to Proof Theory","volume":"Vol. 2","author":"J\u00e4ger","year":"1986"},{"year":"1982","series-title":"Eine beweistheoretische Untersuchung von \u039412-CA + (BI) und verwandter Systeme","author":"J\u00e4ger","key":"10.1016\/S0168-0072(96)00040-1_BIB19"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB20","article-title":"Proof Theory. An Introduction","volume":"Vol. 1407","author":"Pohlers","year":"1989"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB21","doi-asserted-by":"crossref","first-page":"125","DOI":"10.2307\/2275601","article-title":"Monotone inductive definitions in explicit mathematics","volume":"61","author":"Rathjen","year":"1996","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB22","article-title":"Proof Theory","volume":"Vol 225","author":"Sch\u00fctte","year":"1977"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB23","first-page":"867","article-title":"Proof theory: some applications of cut-elimination","author":"Schwichtenberg","year":"1977"},{"article-title":"Proof Theoretical Strength of Martin-L\u00f6f Type Theory with W-Type and One Universe","year":"1993","author":"Setzer","key":"10.1016\/S0168-0072(96)00040-1_BIB24"},{"article-title":"Subsystems of second order arithmetic","year":"1986","author":"Simpson","key":"10.1016\/S0168-0072(96)00040-1_BIB25"},{"journal-title":"Stanford Report","year":"1963","key":"10.1016\/S0168-0072(96)00040-1_BIB26"},{"key":"10.1016\/S0168-0072(96)00040-1_BIB27","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0168-0072(89)90019-5","article-title":"Monotone inductive definitions in a constructive theory of functions and classes","volume":"42","author":"Takahashi","year":"1989","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007296000401?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007296000401?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:59:15Z","timestamp":1759139955000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007296000401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["S0168007296000401"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(96)00040-1","relation":{},"ISSN":["0168-0072"],"issn-type":[{"type":"print","value":"0168-0072"}],"subject":[],"published":{"date-parts":[[1997,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On the proof-theoretic strength of monotone induction in explicit mathematics","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0168-0072(96)00040-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1997 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}