MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY

MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY
复制标题

可计算性理论中的最大塔和超滤基

DOI:
10.1017/jsl.2022.60
复制
发表时间:
2022
期刊:
The Journal of Symbolic Logic
影响因子:
--
通讯作者:
SOSKOVA, MARIYA I.
SOSKOVA, MARIYA I.
中科院分区:
--
文献类型:
--
作者:
LEMPP, STEFFEN;MILLER, JOSEPH S.;NIES, ANDRÉ;SOSKOVA, MARIYA I.

文献摘要

参考文献

相似文献

最后我们考虑了极大几乎不交族和极大独立族的质量问题。我们表明,他们是梅德韦杰夫相当于最大的塔,和超滤基地,分别。
The tower number -set does so.We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively.
当神谕没有帮助时
DOI: --
发表时间: 1991
期刊: Annual Conference Computational Learning Theory
影响因子: --
作者:
T. Slaman;R. Solovay
通讯作者: R. Solovay
理想上限较低
DOI: --
发表时间: 2007
期刊: Journal of Symbolic Logic (JSL)
影响因子: --
作者:
A. Kucera;T. Slaman
通讯作者: T. Slaman
微不足道的实数
DOI: --
发表时间: 2002
期刊: International Conference on Computability and Complexity in Analysis
影响因子: --
作者:
R. Downey;D. Hirschfeldt;A. Nies;F. Stephan
通讯作者: F. Stephan
关于 r 最大集的可计算可枚举超集的过滤器
DOI: --
发表时间: 2001
影响因子: 0.3
作者:
S. Lempp;A. Nies;Reed Solomon
通讯作者: Reed Solomon
低于 1-通用度数的度数 < 0′
DOI: --
发表时间: 1986
期刊: Journal of Symbolic Logic (JSL)
影响因子: --
作者:
C. A. Haught
通讯作者: C. A. Haught