{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,7]],"date-time":"2023-10-07T12:44:21Z","timestamp":1696682661037},"reference-count":24,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2020,9,29]],"date-time":"2020-09-29T00:00:00Z","timestamp":1601337600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that several weakenings of the Cauchy condition are all equivalent under the assumption of countable choice, and investigate to what extent choice is necessary. We also show that the syntactically reminiscent notion of metastability allows similar variations, but is empty in terms of its constructive content.1<\/jats:p>","DOI":"10.1093\/logcom\/exaa046","type":"journal-article","created":{"date-parts":[[2020,9,6]],"date-time":"2020-09-06T11:13:34Z","timestamp":1599390814000},"page":"1487-1504","source":"Crossref","is-referenced-by-count":0,"title":["Notions of Cauchyness and metastability"],"prefix":"10.1093","volume":"30","author":[{"given":"Hannes","family":"Diener","sequence":"first","affiliation":[{"name":"University of Canterbury"}]},{"given":"Robert","family":"Lubarsky","sequence":"additional","affiliation":[{"name":"University of Canterbury"}]}],"member":"286","published-online":{"date-parts":[[2020,9,29]]},"reference":[{"key":"2020120307171295200_ref1","article-title":"Notes on constructive set theory","author":"Aczel","year":"2001"},{"key":"2020120307171295200_ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4115\/jla.2012.4.3","article-title":"A metastable dominated convergence theorem","volume":"4","author":"Avigad","year":"2012","journal-title":"Journal of Logic and Analysis"},{"key":"2020120307171295200_ref3","first-page":"3160","article-title":"Rearranging series constructively","volume":"15","author":"Berger","year":"2009","journal-title":"Journal of Universal Computer Science"},{"key":"2020120307171295200_ref4","volume-title":"Constructive aspects of Riemann\u2019s permutation theorem for series","author":"Berger","year":"2013"},{"key":"2020120307171295200_ref5","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1093\/jigpal\/jzr045","article-title":"Double sequences, almost Cauchyness and BD-N","volume":"20","author":"Berger","year":"2012","journal-title":"Logic Journal of IGPL"},{"key":"2020120307171295200_ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"Bishop","year":"1985"},{"key":"2020120307171295200_ref7","article-title":"Model Theory, 3rd edn. Dover Books on Mathematics","author":"Chang","year":"2013"},{"key":"2020120307171295200_ref8","first-page":"1569","article-title":"Variations on a theme by Ishihara","volume-title":"Mathematical Structures in Computer Science","author":"Diener","year":"2015"},{"key":"2020120307171295200_ref9","volume-title":"Constructive Reverse Mathematics","author":"Diener","year":"2018"},{"key":"2020120307171295200_ref10","doi-asserted-by":"crossref","first-page":"899","DOI":"10.4171\/dm\/696","article-title":"Complete: when enough is enough","volume":"24","author":"Diener","year":"2019","journal-title":"Documenta Mathematica"},{"key":"2020120307171295200_ref11","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/978-3-319-72056-2_9","article-title":"Notions of Cauchyness and metastability","volume-title":"Logical Foundations of Computer Science","author":"Diener","year":"2018"},{"key":"2020120307171295200_ref12","doi-asserted-by":"crossref","first-page":"1315","DOI":"10.1017\/jsl.2016.38","article-title":"Separating fragments of WLEM, LPO, and MP","volume":"81","author":"Hendtlass","year":"2016","journal-title":"The Journal of Symbolic Logic"},{"key":"2020120307171295200_ref13","doi-asserted-by":"crossref","first-page":"1349","DOI":"10.2307\/2275479","article-title":"Continuity and nondiscontinuity in constructive mathematics","volume":"56","author":"Ishihara","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"2020120307171295200_ref14","article-title":"From Constructive Mathematics to Computable Analysis via the Realizability Interpretation","author":"Lietz","year":"2004"},{"key":"2020120307171295200_ref15","doi-asserted-by":"crossref","first-page":"39","DOI":"10.2178\/jsl.7801030","article-title":"On the failure of BD-N and BD, and an application to the anti-Specker property","volume":"78","author":"Lubarsky","year":"2013","journal-title":"Journal of Symbolic Logic"},{"key":"2020120307171295200_ref16","doi-asserted-by":"crossref","first-page":"873","DOI":"10.2178\/jsl.7803090","article-title":"Principles weaker than BD-N","volume":"78","author":"Lubarsky","year":"2014","journal-title":"Journal of Symbolic Logic"},{"key":"2020120307171295200_ref17","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/978-1-4612-0325-4_18","article-title":"Intuitionistic L","volume-title":"Logical Methods: In Honor of Anil Nerode\u2019s Sixtieth Birthday","author":"Lubarsky","year":"1993"},{"key":"2020120307171295200_ref18","doi-asserted-by":"crossref","first-page":"1295","DOI":"10.2178\/jsl\/1190150286","article-title":"IKP and friends","volume":"67","author":"Lubarsky","year":"2002","journal-title":"Journal of Symbolic Logic"},{"key":"2020120307171295200_ref19","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1112\/blms\/20.4.319","article-title":"Limited omniscience and the Bolzano\u2013Weierstrass principle","volume":"20","author":"Mandelkern","year":"1988","journal-title":"Bulletin of the London Mathematical Society"},{"key":"2020120307171295200_ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9757-9_17","article-title":"Constructive mathematics without choice","volume-title":"Reuniting the Antipodes: Constructive and Nonstandard Views of the Continuum","author":"Richman","year":"2001"},{"key":"2020120307171295200_ref21","doi-asserted-by":"crossref","first-page":"145","DOI":"10.2307\/2267043","article-title":"Nicht konstruktiv beweisbare S\u00e4tze der Analysis","volume":"14","author":"Specker","year":"1949","journal-title":"Journal of Symbolic Logic"},{"key":"2020120307171295200_ref22","first-page":"2096","article-title":"Constructive results on operator algebras","volume":"11","author":"Spitters","year":"2005","journal-title":"Journal of Universal Computer Science"},{"key":"2020120307171295200_ref23","volume-title":"Soft analysis, hard analysis, and the finite convergence principle","author":"Tao","year":"2007"},{"key":"2020120307171295200_ref24","volume-title":"Choice Sequences: A Chapter of Intuitionistic Mathematics","author":"Troelstra","year":"1977"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/8\/1487\/34673222\/exaa046.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/8\/1487\/34673222\/exaa046.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,6]],"date-time":"2023-10-06T22:36:27Z","timestamp":1696631787000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/30\/8\/1487\/5912589"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,29]]},"references-count":24,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2020,9,29]]},"published-print":{"date-parts":[[2020,12,10]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa046","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2020,12]]},"published":{"date-parts":[[2020,9,29]]}}}