{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T13:03:21Z","timestamp":1705064601808},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2010,12,25]],"date-time":"2010-12-25T00:00:00Z","timestamp":1293235200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1007\/s00153-010-0225-4","type":"journal-article","created":{"date-parts":[[2010,12,24]],"date-time":"2010-12-24T02:15:47Z","timestamp":1293156947000},"page":"445-458","source":"Crossref","is-referenced-by-count":1,"title":["Exact bounds on epsilon processes"],"prefix":"10.1007","volume":"50","author":[{"given":"Toshiyasu","family":"Arai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,12,25]]},"reference":[{"key":"225_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s001530100108","volume":"41","author":"T. Arai","year":"2002","unstructured":"Arai T.: Epsilon substitution method for theories of jump hierachies. Arch. Math. Logic 41, 123\u2013153 (2002)","journal-title":"Arch. Math. Logic"},{"key":"225_CR2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0168-0072(02)00112-4","volume":"121","author":"T. Arai","year":"2003","unstructured":"Arai T.: Epsilon substitution method for $${ID_{1}(\\Pi^{0}_{1}\\lor\\Sigma_{1}^{0})}$$ . Ann. Pure Appl. Logic 121, 163\u2013208 (2003)","journal-title":"Ann. Pure Appl. Logic"},{"key":"225_CR3","unstructured":"Arai, T.: An expository survey on epsilon substitution method. In: Proceedings of the Asian Mathematical Congress, Singapore (2005)"},{"key":"225_CR4","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1007\/s00153-005-0290-2","volume":"44","author":"T. Arai","year":"2005","unstructured":"Arai T.: Epsilon substitution method for $${[\\Pi^{0}_{1},\\Pi^{0}_{1}]}$$ -FIX. Arch. Math. Logic 44, 1009\u20131043 (2005)","journal-title":"Arch. Math. Logic"},{"key":"225_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.apal.2005.05.004","volume":"136","author":"T. Arai","year":"2005","unstructured":"Arai T.: Ideas in the epsilon substitution method for $${\\Pi^{0}_{1}}$$ -FIX. Ann. Pure Appl. Logic 136, 3\u201321 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"225_CR6","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.2178\/jsl\/1164060450","volume":"71","author":"T. Arai","year":"2006","unstructured":"Arai T.: Epsilon substitution method for $${\\Pi^{0}_{2}}$$ -FIX. J. Symb. Logic 71, 1155\u20131188 (2006)","journal-title":"J. Symb. Logic"},{"key":"225_CR7","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/BF01342980","volume":"143","author":"W.W. Tait","year":"1961","unstructured":"Tait W.W.: Nested recursion. Math. Ann. 143, 236\u2013250 (1961)","journal-title":"Math. Ann."},{"key":"225_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.2307\/2270132","volume":"30","author":"W.W. Tait","year":"1965","unstructured":"Tait W.W.: Functionals defined by transfinite recursion. J. Symb. Logic 30, 155\u2013174 (1965)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0225-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0225-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0225-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T11:54:40Z","timestamp":1558612480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0225-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,25]]},"references-count":8,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["225"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0225-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,25]]}}}