Notions of Cauchyness and Metastability.

Lecture Notes in Computer Science(2018)

引用 2|浏览6
暂无评分
摘要
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.
更多
查看译文
关键词
Cauchy condition,Metastability,Axiom of choice,Constructive analysis
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要