{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:31:38Z","timestamp":1649154698871},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2009,12]]},"abstract":"<jats:p>This paper introduces theories for arithmetical<jats:italic>quasi-inductive definitions<\/jats:italic>(Burgess, 1986) as it has been done for first-order monotone and nonmonotone inductive ones. After displaying the basic axiomatic framework, we provide some initial result in the proof theoretic bounds line of research (the upper one being given in terms of a theory of sets extending Kripke\u2013Platek set theory).<\/jats:p>","DOI":"10.1017\/s175502030909025x","type":"journal-article","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T09:36:11Z","timestamp":1257327371000},"page":"684-699","source":"Crossref","is-referenced-by-count":1,"title":["A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS"],"prefix":"10.1017","volume":"2","author":[{"given":"RICCARDO","family":"BRUNI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,12,1]]},"reference":[{"key":"S175502030909025X_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00076-8"},{"key":"S175502030909025X_ref7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"Gupta","year":"1993"},{"key":"S175502030909025X_ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2687753"},{"key":"S175502030909025X_ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2586556"},{"key":"S175502030909025X_ref13","first-page":"273","volume-title":"Logic Colloquium\u201969","author":"Richter","year":"1971"},{"key":"S175502030909025X_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70585-8"},{"key":"S175502030909025X_ref12","volume-title":"Elementary Induction on Abstract Structures","author":"Moschovakis","year":"1974"},{"key":"S175502030909025X_ref15","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1052669071"},{"key":"S175502030909025X_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21723-8"},{"key":"S175502030909025X_ref1","first-page":"301","volume-title":"Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium","author":"Aczel","year":"1974"},{"key":"S175502030909025X_ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2695093"},{"key":"S175502030909025X_ref11","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/11.1.25"},{"key":"S175502030909025X_ref4","volume-title":"Logical Frameworks for Truth and Abstraction. An Axiomatic Study","author":"Cantini","year":"1996"},{"key":"S175502030909025X_ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2274021"},{"key":"S175502030909025X_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091894"},{"key":"S175502030909025X_ref16","volume-title":"Weak Systems of Determinacy and Arithmetical Quasi\u2013Inductive Definitions","author":"Welch","year":"2007"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S175502030909025X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T12:01:59Z","timestamp":1590235319000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S175502030909025X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["S175502030909025X"],"URL":"https:\/\/doi.org\/10.1017\/s175502030909025x","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}