{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T06:00:58Z","timestamp":1715061658922},"reference-count":20,"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":6310,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Ackermann proved termination for a special order of reductions in Hilbert's epsilon substitution method for the first order arithmetic. We establish termination for arbitrary order of reductions.<\/jats:p>","DOI":"10.2307\/2275811","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:59:54Z","timestamp":1146956394000},"page":"1193-1205","source":"Crossref","is-referenced-by-count":6,"title":["Strong termination for the epsilon substitution method"],"prefix":"10.1017","volume":"61","author":[{"given":"Grigori","family":"Mints","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200016844_ref012","doi-asserted-by":"crossref","first-page":"376","DOI":"10.3176\/phys.math.1982.4.02","article-title":"Simplified consistency proof for arithmetic","volume":"31","author":"Mints","year":"1982","journal-title":"Proceedings of the Estonian Academy of Science Fiz.-Math."},{"key":"S0022481200016844_ref010","first-page":"241","volume":"16","author":"Kreisel","year":"1951","journal-title":"On the interpretation of non-finitist proofs I"},{"key":"S0022481200016844_ref003","volume-title":"Theorie des ensembles","author":"Bourbaki","year":"1958"},{"key":"S0022481200016844_ref004","volume-title":"Mathematical intuitionism","author":"Dragalin","year":"1988"},{"key":"S0022481200016844_ref017","first-page":"155","volume":"30","author":"Tait","year":"1965","journal-title":"Functionals defined by transfinite recursion"},{"key":"S0022481200016844_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449946"},{"key":"S0022481200016844_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/BF01273688"},{"key":"S0022481200016844_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/BF01565428"},{"key":"S0022481200016844_ref006","first-page":"63","volume-title":"Proceedings of the 2nd Scandinavian Logic Symposium","author":"Girard","year":"1972"},{"key":"S0022481200016844_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86896-2"},{"key":"S0022481200016844_ref009","volume-title":"Introduction to metamathematics","author":"Kleene","year":"1952"},{"key":"S0022481200016844_ref011","first-page":"43","volume":"17","author":"Kreisel","year":"1952","journal-title":"On the interpretation of non-finitist proofs II"},{"key":"S0022481200016844_ref013","doi-asserted-by":"crossref","first-page":"154","DOI":"10.3176\/phys.math.1989.2.04","article-title":"Epsilon substitution method for the theory of hereditarily finite sets","volume":"38","author":"Mints","year":"1989","journal-title":"Proceedings of the Estonian Academy of Science Fiz.-Math."},{"key":"S0022481200016844_ref014","first-page":"91","volume-title":"Proceedings of 9th International Congress of Logic, Methodology and Philosophy of Science","volume":"IX","author":"Mints","year":"1994"},{"key":"S0022481200016844_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"S0022481200016844_ref018","first-page":"175","volume":"30","author":"Tait","year":"1965","journal-title":"The substitution method"},{"key":"S0022481200016844_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF01475439"},{"key":"S0022481200016844_ref020","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1944-08178-0"},{"key":"S0022481200016844_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/BF01450016"},{"key":"S0022481200016844_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782335"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200016844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T10:10:39Z","timestamp":1683454239000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200016844\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S0022481200016844"],"URL":"https:\/\/doi.org\/10.2307\/2275811","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}