{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:07:14Z","timestamp":1648634834780},"reference-count":12,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":2658,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2006,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we formulate epsilon substitution method for a theory <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200005715_inline1\" \/>-FIX for nonmonotonic <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200005715_inline1\" \/> inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].<\/jats:p>","DOI":"10.2178\/jsl\/1164060450","type":"journal-article","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T11:24:03Z","timestamp":1198063443000},"page":"1155-1188","source":"Crossref","is-referenced-by-count":4,"title":["Epsilon substitution method for -FIX"],"prefix":"10.1017","volume":"71","author":[{"given":"Toshiyasu","family":"Arai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200005715_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(02)00112-4"},{"key":"S0022481200005715_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-004-0241-3"},{"key":"S0022481200005715_ref011","unstructured":"Towsner H. , Epsilon substitution forID1 , draft, 2004."},{"key":"S0022481200005715_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.05.004"},{"key":"S0022481200005715_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.01.001"},{"key":"S0022481200005715_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100108"},{"key":"S0022481200005715_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01450016"},{"key":"S0022481200005715_ref002","first-page":"1375","volume":"65","author":"Arai","year":"2000","journal-title":"Ordinal diagrams for \u03a03-reflection"},{"key":"S0022481200005715_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-005-0290-2"},{"key":"S0022481200005715_ref006","first-page":"830","volume":"69","author":"Arai","year":"2004","journal-title":"Wellfoundedness proofs by means of non-monotonic inductive definitions I: -operators"},{"key":"S0022481200005715_ref009","first-page":"104","article-title":"Epsilon substitution method for elementary analysis","volume":"45","author":"Mints","year":"1996","journal-title":"Archive for Mathematical Logic"},{"key":"S0022481200005715_ref010","first-page":"401","volume-title":"Generalized recursion theory","volume":"79","author":"Richter","year":"1974"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:29:39Z","timestamp":1556810979000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005715\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["S0022481200005715"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1164060450","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}