Notions of Cauchyness and Metastability

Abstract

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

Topics

Figures and Tables

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