当前位置: X-MOL 学术J. Log. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Notions of Cauchyness and metastability
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2020-09-29 , DOI: 10.1093/logcom/exaa046
Hannes Diener 1 , Robert Lubarsky 1
Affiliation  

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.11


中文翻译:

柯西性和亚稳性的概念

我们证明柯西条件的几个弱点在可数选择的假设下都是等效的,并研究选择的必要程度。我们还表明,在语法上让人联想到亚稳态的概念允许类似的变化,但就其建设性内容而言是空的。1个
更新日期:2020-12-03
down
wechat
bug