{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T09:49:00Z","timestamp":1713347340967},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"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":[[1996,3]]},"DOI":"10.1007\/bf01273688","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T03:20:08Z","timestamp":1111634408000},"page":"103-130","source":"Crossref","is-referenced-by-count":23,"title":["Epsilon substitution method for elementary analysis"],"prefix":"10.1007","volume":"35","author":[{"given":"Grigori","family":"Mints","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Tupailo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilfried","family":"Buchholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01273688_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01449946","volume":"93","author":"W. Ackermann","year":"1925","unstructured":"Ackermann, W.: Begr\u00fcndung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Math. Ann.93, 1\u201336 (1925)","journal-title":"Math. Ann."},{"key":"BF01273688_CR2","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/BF01450016","volume":"117","author":"W. Ackermann","year":"1940","unstructured":"Ackermann, W.: Zur Widerspruchsfreiheit der Zahlentheorie. Math. Ann.117, 162\u2013164 (1940)","journal-title":"Math. Ann."},{"key":"BF01273688_CR3","volume-title":"Theorie des ensembles","author":"N. Bourbaki","year":"1958","unstructured":"Bourbaki, N.: Theorie des ensembles. Paris: Hermann 1958"},{"key":"BF01273688_CR4","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G. Gentzen","year":"1936","unstructured":"Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann. 112, 493\u2013565 (1936)","journal-title":"Math. Ann."},{"key":"BF01273688_CR5","series-title":"Proc. 2nd Scand. Logic Symp.","first-page":"63","volume-title":"Une extension de l'interpretation de G\u00f6del a l'analyse et la application a l'elimination des coupures dans l'analyse et la theorie des types","author":"J.-Y. Girard","year":"1972","unstructured":"Girard, J.-Y.: Une extension de l'interpretation de G\u00f6del a l'analyse et la application a l'elimination des coupures dans l'analyse et la theorie des types. Proc. 2nd Scand. Logic Symp., pp. 63\u201392, Amsterdam: North-Holland 1972"},{"key":"BF01273688_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01782335","volume":"102","author":"D. Hilbert","year":"1929","unstructured":"Hilbert, D.: Probleme der Grundlegung der Mathematik. Math. Ann.102, 1\u20139 (1929)","journal-title":"Math. Ann."},{"key":"BF01273688_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86896-2","volume-title":"Grundlagen der Mathematik, Bd.2","author":"D. Hilbert","year":"1970","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik, Bd.2. Berlin Heidelberg New York: Springer 1970"},{"key":"BF01273688_CR8","first-page":"241","volume":"16","author":"G. Kreisel","year":"1951","unstructured":"Kreisel, G.: On the interpretation of non-finitist proofs I. J. Symb. Logic16, 241\u2013267 (1951)","journal-title":"J. Symb. Logic"},{"key":"BF01273688_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2307\/2267457","volume":"17","author":"G. Kreisel","year":"1952","unstructured":"Kreisel, G.: On the Interpretation of Non-finitist proofs II. J. Symb. Logic17, 43\u201358 (1952)","journal-title":"J. Symb. Logic"},{"key":"BF01273688_CR10","first-page":"376","volume":"31","author":"G. Mints","year":"1982","unstructured":"Mints, G.: Simplified consistency proof for arithmetic (Russian). Proc. Estonian Acad. Sci. Fiz.-Math.31, 376\u2013382 (1982)","journal-title":"Proc. Estonian Acad. Sci. Fiz.-Math."},{"key":"BF01273688_CR11","first-page":"154","volume":"2","author":"G. Mints","year":"1989","unstructured":"Mints, G.: Epsilon substitution method for the theory of hereditarily finite sets (Russian). Proc. Eston. Acad. Sci. Fiz.-Math.N2, 154\u2013164 (1989)","journal-title":"Proc. Eston. Acad. Sci. Fiz.-Math."},{"key":"BF01273688_CR12","first-page":"91","volume-title":"Logic, Method and Philosophy of Science, Vol. IX","author":"G. Mints","year":"1994","unstructured":"Mints, G.: Gentzen-type systems and Hilbert's epsilon substitution method, Vol. I. In: Logic, Method and Philosophy of Science, Vol. IX, pp. 91\u2013122. Amsterdam: Elsevier (1994)"},{"key":"BF01273688_CR13","unstructured":"Mints, G., Tupailo, S.: Epsilon substitution method for elementary analysis. Report No. CSLI-93-175, 1993, CSLI, Stanford University (1993)"},{"key":"BF01273688_CR14","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. New York Toronto: Van Nostrand 1952"},{"key":"BF01273688_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01475439","volume":"26","author":"J. Neumann von","year":"1927","unstructured":"von Neumann, J.: Zur Hilbertschen Beweistheorie. Math. Z.26, 1\u201346 (1927)","journal-title":"Math. Z."},{"key":"BF01273688_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K. Schutte","year":"1977","unstructured":"Schutte, K.: Proof Theory. Berlin Heidelberg New York: Springer 1977"},{"key":"BF01273688_CR17","doi-asserted-by":"crossref","first-page":"155","DOI":"10.2307\/2270132","volume":"30","author":"W. Tait","year":"1965","unstructured":"Tait, W.: Functionals defined by transfinite recursion. J. Symb. Logic30, 155\u2013174 (1965)","journal-title":"J. Symb. Logic"},{"key":"BF01273688_CR18","doi-asserted-by":"crossref","first-page":"175","DOI":"10.2307\/2270133","volume":"30","author":"W. Tait","year":"1965","unstructured":"Tait, W.: The substitution method. J. Symb. Logic30, 175\u2013192 (1965)","journal-title":"J. Symb. Logic"},{"key":"BF01273688_CR19","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1090\/S0002-9904-1944-08178-0","volume":"50","author":"H. Weyl","year":"1944","unstructured":"Weyl, H.: David Hilbert and his mathematical work. Bull. Amer. Math. Soc.50, 612\u2013654 (1944)","journal-title":"Bull. Amer. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01273688.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01273688\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01273688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T14:14:42Z","timestamp":1556633682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01273688"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF01273688"],"URL":"https:\/\/doi.org\/10.1007\/bf01273688","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}