The determined property of Baire in reverse math
The determined property of Baire in reverse math
复制标题
逆向数学中贝尔的确定性质
DOI：
10.1017/jsl.2019.64
复制
发表时间：
2020
影响因子：
0.6
通讯作者：
Westrick, L. B.
中科院分区：
文献类型：
--
作者：
Astor, E. P.;Dzhafarov, D.;Montalbán, A.;Solomon, R.;Westrick, L. B.
我们在逆向数学中定义了完全确定的Borel码的概念，并考虑了相对于Z的泛型原则。
We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle -generic relative to Z.