Ultrafilters in reverse mathematics
Ultrafilters in reverse mathematics
复制标题
逆向数学中的超滤器
DOI：
--
复制
发表时间：
2011
影响因子：
0.9
通讯作者：
H. Towsner
中科院分区：
文献类型：
--
作者：
H. Towsner
我们用一个非主超滤子推广了逆数学理论，并证明了这些理论是通常理论ACA0、ATR0和${f{Pi^1_1{-}}的保守推广
M CA}_0}}$。
We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA0, ATR0, and ${f{Pi^1_1{-}{
m CA}_0}}$.