{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T15:10:10Z","timestamp":1751037010879,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_19","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"309-330","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Metastability and Higher-Order Computability"],"prefix":"10.1007","author":[{"given":"Sam","family":"Sanders","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4115\/jla.2012.4.3","volume":"4","author":"J Avigad","year":"2012","unstructured":"Avigad, J., Dean, E.T., Rute, J.: A metastable dominated convergence theorem. J. Log. Anal. 4, 1\u201319 (2012)","journal-title":"J. Log. Anal."},{"key":"19_CR2","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics: Metamathematical Studies","author":"MJ Beeson","year":"1985","unstructured":"Beeson, M.J.: Foundations of Constructive Mathematics: Metamathematical Studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 6. Springer, Heidelberg (1985)"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"1962","DOI":"10.1016\/j.apal.2012.07.003","volume":"163","author":"B Berg van den","year":"2012","unstructured":"van den Berg, B., Briseid, E., Safarik, P.: A functional interpretation for nonstandard arithmetic. Ann. Pure Appl. Logic 163, 1962\u20131994 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"19_CR4","volume-title":"Constructive Analysis, Grundlehren der Mathematischen Wissenschaften","author":"E Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.S.: Constructive Analysis, Grundlehren der Mathematischen Wissenschaften, vol. 279. Springer, Berlin (1985)"},{"issue":"1","key":"19_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02402869","volume":"19","author":"P Cousin","year":"1895","unstructured":"Cousin, P.: Sur les fonctions de n variables complexes. Acta Math. 19(1), 1\u201361 (1895)","journal-title":"Acta Math."},{"key":"19_CR6","volume-title":"An Introduction to Nonstandard Real Analysis, Pure and Applied Mathematics","author":"AE Hurd","year":"1985","unstructured":"Hurd, A.E., Loeb, P.A.: An Introduction to Nonstandard Real Analysis, Pure and Applied Mathematics, vol. 118. Academic Press Inc., Orlando (1985)"},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"43","DOI":"10.4000\/philosophiascientiae.406","volume":"6","author":"H Ishihara","year":"2006","unstructured":"Ishihara, H.: Reverse mathematics in Bishop\u2019s constructive mathematics. Philosophia Scientiae (Cahier Sp\u00e9cial) 6, 43\u201359 (2006)","journal-title":"Philosophia Scientiae (Cahier Sp\u00e9cial)"},{"key":"19_CR8","first-page":"557","volume":"57","author":"H Ishihara","year":"1992","unstructured":"Ishihara, H.: Continuity properties in constructive mathematics. JSL 57, 557\u2013565 (1992)","journal-title":"JSL"},{"key":"19_CR9","first-page":"1349","volume":"56","author":"H Ishihara","year":"1991","unstructured":"Ishihara, H.: Continuity and nondiscontinuity in constructive mathematics. JSL 56, 1349\u20131354 (1991)","journal-title":"JSL"},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"100","DOI":"10.2178\/bsl\/1140640945","volume":"12","author":"HJ Keisler","year":"2006","unstructured":"Keisler, H.J.: Nonstandard arithmetic and reverse mathematics. Bull. Symb. Log. 12, 100\u2013125 (2006)","journal-title":"Bull. Symb. Log."},{"issue":"2","key":"19_CR11","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1016\/j.jmaa.2014.10.035","volume":"423","author":"U Kohlenbach","year":"2015","unstructured":"Kohlenbach, U., Koutsoukou-Argyraki, A.: Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. J. Math. Anal. Appl. 423(2), 1089\u20131112 (2015)","journal-title":"J. Math. Anal. Appl."},{"key":"19_CR12","series-title":"Springer Monographs in Mathematics","volume-title":"Applied Proof Theory: Proof Interpretations and Their Use in Mathematics","author":"U Kohlenbach","year":"2008","unstructured":"Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Monographs in Mathematics. Springer, Berlin (2008)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Higher order reverse mathematics. In: Reverse mathematics 2001. Lecture Notes in Logistics, vol. 21, pp. 281\u2013295. ASL (2005)","DOI":"10.1017\/9781316755846.018"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Foundational and mathematical uses of higher types. Lecture Notes in Logistics, vol. 15, pp. 92\u2013116. ASL (2002)","DOI":"10.1017\/9781316755983.005"},{"issue":"12","key":"19_CR15","doi-asserted-by":"crossref","first-page":"1803","DOI":"10.1016\/j.apal.2012.04.004","volume":"163","author":"P Lietz","year":"2012","unstructured":"Lietz, P., Streicher, T.: Realizability models refuting Ishihara\u2019s bound- edness principle. Ann. Pure Appl. Log. 163(12), 1803\u20131807 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"19_CR16","series-title":"Theory and Applications of Computability","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-47992-6","volume-title":"Higher-Order Computability","author":"J Longley","year":"2015","unstructured":"Longley, J., Normann, D.: Higher-Order Computability. Theory and Applications of Computability. Springer, Heidelberg (2015)"},{"issue":"6","key":"19_CR17","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1090\/S0002-9904-1977-14398-X","volume":"83","author":"E Nelson","year":"1977","unstructured":"Nelson, E.: Internal set theory: a new approach to nonstandard analysis. Bull. Am. Math. Soc. 83(6), 1165\u20131198 (1977)","journal-title":"Bull. Am. Math. Soc."},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-11(1:8)2015","volume":"11","author":"D Normann","year":"2015","unstructured":"Normann, D.: The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems. Log. Methods Comput. Sci. 11, 1\u201327 (2015)","journal-title":"Log. Methods Comput. Sci."},{"key":"19_CR19","unstructured":"Normann, D., Sanders, S.: Nonstandard analysis, computability theory, and their connections (2017, submitted). https:\/\/arxiv.org\/abs\/1702.06556"},{"key":"19_CR20","unstructured":"Normann, D.: Nonstandard analysis, computability theory, and metastability (2017)"},{"key":"19_CR21","unstructured":"Sanders, S.: The Gandy-Hyland functional and a hitherto unknown computational aspect of Nonstandard Analysis. Computability, arXiv: http:\/\/arxiv.org\/abs\/1502.03622 (2015)"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Sanders, S.: Grilliot\u2019s trick in Nonstandard Analysis. Logical Methods in Computer Science, Special Issue for CCC15 (2017)","DOI":"10.23638\/LMCS-13(4:23)2017"},{"key":"19_CR23","unstructured":"Sanders, S.: The unreasonable effectiveness of Nonstandard Analysis (2015). http:\/\/arxiv.org\/abs\/1508.07434"},{"key":"19_CR24","unstructured":"Sanders, S.: To be or not to be constructive, Indagationes Mathematicae, p. 69, arXiv: https:\/\/arxiv.org\/abs\/1704.00462 2017"},{"key":"19_CR25","unstructured":"Sanders, S.: The refining of the taming of the Reverse Mathematics zoo. Notre Dame J. Formal Log. (2016). http:\/\/arxiv.org\/abs\/1602.02270"},{"key":"19_CR26","series-title":"Perspectives in Logic","volume-title":"Simpson, Subsystems of Second Order Arithmetic","author":"G Stephen","year":"2009","unstructured":"Stephen, G.: Simpson, Subsystems of Second Order Arithmetic. Perspectives in Logic, 2nd edn. CUP, Cambridge (2009)","edition":"2"},{"issue":"3","key":"19_CR27","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1215\/00294527-1435429","volume":"52","author":"SG Simpson","year":"2011","unstructured":"Simpson, S.G., Yokoyama, K.: A nonstandard counterpart of WWKL. Notre Dame J. Form. Log. 52(3), 229\u2013243 (2011)","journal-title":"Notre Dame J. Form. Log."},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Tao, T.: Structure and randomness, pp. xii+298. American Mathematical Society, Providence, RI (2008)","DOI":"10.1090\/mbk\/059"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:42:00Z","timestamp":1751035320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}