Notions of Cauchyness and Metastability


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 in terms of its computational content is an empty notion. §1. Almost Cauchyness. Apart… (More)
DOI: 10.1007/978-3-319-72056-2_9


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.