{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T08:25:55Z","timestamp":1655022355273},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6401,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,9]]},"abstract":"Abstract<\/jats:title>This paper deals with: (i) the theory which results from by restricting induction on the natural numbers to formulas which are positive in the fixed point constants, (ii) the theory BON(\u03bc<\/jats:italic>) plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are \u03a3 in the ordinals. We show that these systems have proof-theoretic strength \u03c6\u03c9<\/jats:italic>0.<\/jats:p>","DOI":"10.2307\/2275787","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:59:03Z","timestamp":1146956343000},"page":"818-842","source":"Crossref","is-referenced-by-count":9,"title":["Some theories with positive induction of ordinal strength \u03c6\u03c9<\/i>0"],"prefix":"10.1017","volume":"61","author":[{"given":"Gerhard","family":"J\u00e4ger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Strahm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120001714X_ref005","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S002248120001714X_ref025","volume-title":"Constructivism in mathematics, vol. I.","author":"Troelstra","year":"1988"},{"key":"S002248120001714X_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71364-8"},{"key":"S002248120001714X_ref014","volume-title":"Proof theory and logical complexitiy","author":"Girard","year":"1987"},{"key":"S002248120001714X_ref015","unstructured":"Gla\u00df T. and Strahm T. , Systems of explicit mathematics with non-constructive \u03bc-operator and join, to appear."},{"key":"S002248120001714X_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"S002248120001714X_ref002","volume-title":"Lecture notes in mathematics","volume":"897","author":"Buchholz","year":"1981"},{"key":"S002248120001714X_ref011","first-page":"1","volume":"56","author":"Feferman","year":"1991","journal-title":"Reflecting on incompleteness"},{"key":"S002248120001714X_ref004","first-page":"360","volume":"51","author":"Cantini","year":"1986","journal-title":"On the relationship between choice and comprehension principles in second order arithmetic"},{"key":"S002248120001714X_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(85)90030-2"},{"key":"S002248120001714X_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0062852"},{"key":"S002248120001714X_ref024","volume-title":"Proof theory","author":"Takeuti","year":"1987"},{"key":"S002248120001714X_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90039-G"},{"key":"S002248120001714X_ref003","unstructured":"Cantini A. , Logical frameworks for truth and abstraction: an investigation of non-extensional classifications, to appear."},{"key":"S002248120001714X_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF02011138"},{"key":"S002248120001714X_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90013-4"},{"key":"S002248120001714X_ref001","volume-title":"Foundations of constructive mathematics: Metamathematical studies","author":"Beeson","year":"1984"},{"key":"S002248120001714X_ref006","first-page":"243","volume-title":"Handbook of theoretical computer science","author":"Dershowitz","year":"1990"},{"key":"S002248120001714X_ref008","first-page":"95","article-title":"A theory of variable types","author":"Feferman","year":"1975","journal-title":"Revista Colombiana de Matem\u00e1ticas"},{"key":"S002248120001714X_ref009","first-page":"159","volume-title":"Logic colloquium '78","author":"Feferman","year":"1979"},{"key":"S002248120001714X_ref013","unstructured":"Feferman S. , Systems of explicit mathematics with non-constructive \u03bc-operator. part II, to appear."},{"key":"S002248120001714X_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BF02391553"},{"key":"S002248120001714X_ref019","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)00037-4"},{"key":"S002248120001714X_ref020","volume-title":"Natural numbers and forms of weak induction in applicative theories. Tech. Rep. 1AM 95-001","author":"Kahle","year":"1995"},{"key":"S002248120001714X_ref021","volume-title":"Lecture notes in mathematics","volume":"1407","author":"Pohlers","year":"1988"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120001714X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T20:33:22Z","timestamp":1557693202000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120001714X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["S002248120001714X"],"URL":"https:\/\/doi.org\/10.2307\/2275787","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}