{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:18Z","timestamp":1740098958697,"version":"3.37.3"},"publisher-location":"Cham","reference-count":13,"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_9","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T04:33:31Z","timestamp":1511757211000},"page":"140-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Notions of Cauchyness and Metastability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1122-5753","authenticated-orcid":false,"given":"Hannes","family":"Diener","sequence":"first","affiliation":[]},{"given":"Robert","family":"Lubarsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"9_CR1","unstructured":"Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical report 40, Institut Mittag-Leffler. The Royal Swedish Academy of Sciences (2001)"},{"issue":"3","key":"9_CR2","first-page":"1","volume":"4","author":"J Avigad","year":"2012","unstructured":"Avigad, J., Dean, E.T., Rute, J.: A metastable dominated convergence theorem. J. Logic Anal. 4(3), 1\u201319 (2012)","journal-title":"J. Logic Anal."},{"issue":"1","key":"9_CR3","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1093\/jigpal\/jzr045","volume":"20","author":"J Berger","year":"2012","unstructured":"Berger, J., Bridges, D., Palmgren, E.: Double sequences, almost cauchyness and BD-N. Logic J. IGPL 20(1), 349\u2013354 (2012)","journal-title":"Logic J. IGPL"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg. \nhttps:\/\/doi.org\/10.1007\/978-3-642-61667-9\n\n (1985)","DOI":"10.1007\/978-3-642-61667-9"},{"key":"9_CR5","series-title":"Dover Books on Mathematics","volume-title":"Model Theory","author":"CC Chang","year":"2013","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Dover Books on Mathematics, 3rd edn. Dover Publications, New York (2013)","edition":"3"},{"issue":"4","key":"9_CR6","doi-asserted-by":"crossref","first-page":"1315","DOI":"10.1017\/jsl.2016.38","volume":"81","author":"M Hendtlass","year":"2016","unstructured":"Hendtlass, M., Lubarsky, R.: Separating fragments of WLEM, LPO, and MP. J. Symbol. Logic 81(4), 1315\u20131343 (2016)","journal-title":"J. Symbol. Logic"},{"key":"9_CR7","unstructured":"Lietz, P.: From Constructive Mathematics to Computable Analysis via the Realizability Interpretation. PhD thesis, TU Darmstadt (2004)"},{"issue":"3","key":"9_CR8","doi-asserted-by":"crossref","first-page":"873","DOI":"10.2178\/jsl.7803090","volume":"78","author":"RS Lubarsky","year":"2014","unstructured":"Lubarsky, R.S., Diener, H.: Principles weaker than BD-N. J. Symbol. Logic 78(3), 873\u2013885 (2014)","journal-title":"J. Symbol. Logic"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Lubarsky, R.S.: Intuitionistic \n            $$L$$\n            \n              \n                L\n              \n            \n          . In: Crossley et al. (ed.) Logical Methods. In Honor of Anil Nerode\u2019s Sixtieth Birthday of Progress in Computer Science and Applied Logic, vol. 12, pp. 555\u2013571. Birkh\u00e4user Boston, Boston (1993)","DOI":"10.1007\/978-1-4612-0325-4_18"},{"issue":"1","key":"9_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.2178\/jsl.7801030","volume":"78","author":"RS Lubarsky","year":"2013","unstructured":"Lubarsky, R.S.: On the failure of BD-N and BD, and an application to the anti-Specker property. J. Symbol. Logic 78(1), 39\u201356 (2013)","journal-title":"J. Symbol. Logic"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1112\/blms\/20.4.319","volume":"20","author":"M Mandelkern","year":"1988","unstructured":"Mandelkern, M.: Limited omniscience and the Bolzano-Weierstrass principle. Bull. London Math. Soc. 20, 319\u2013320 (1988)","journal-title":"Bull. London Math. Soc."},{"key":"9_CR12","volume-title":"Reuniting the Antipodes: Constructive and Nonstandard Views of the Continuum. Synthese Library","author":"F Richman","year":"2001","unstructured":"Richman, F.: Constructive mathematics without choice. In: Schuster, P., Berger, U., Osswald, H. (eds.) Reuniting the Antipodes: Constructive and Nonstandard Views of the Continuum. Synthese Library. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"9_CR13","unstructured":"Tao, T.: Soft analysis, hard analysis, and the finite convergence principle, May 2007. \nhttp:\/\/terrytao.wordpress.com\/2007\/05\/23\/soft-analysis-hard-analysis-and-the-finite-convergence-principle\/"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T04:36:05Z","timestamp":1511757365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_9","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]]}}}