MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY
MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY
复制标题
可计算性理论中的最大塔和超滤基
DOI:
10.1017/jsl.2022.60
复制
发表时间:
2022
期刊:
影响因子:
--
通讯作者:
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
影响因子:
0.3
作者:
S. Lempp;A. Nies;Reed Solomon
通讯作者:
Reed Solomon
DOI:
--
发表时间:
1986
期刊:
Journal of Symbolic Logic (JSL)
影响因子:
--
作者:
C. A. Haught
通讯作者:
C. A. Haught