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 is empty in terms o...
Gespeichert in:
| Veröffentlicht in: | Journal of logic and computation 2020-12, Vol.30 (8), p.1487-1504 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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 is empty in terms of its constructive content.1 |
|---|---|
| ISSN: | 0955-792X 1465-363X |
| DOI: | 10.1093/logcom/exaa046 |