共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
3.
4.
5.
6.
7.
We prove that, unless assuming additional set theoretical axioms, there are no reflexive spaces without unconditional sequences of the density continuum. We show that for every integer n there are normalized weakly-null sequences of length ωn without unconditional subsequences. This together with a result of Dodos et al. (2011) [7] shows that ωω is the minimal cardinal κ that could possibly have the property that every weakly null κ-sequence has an infinite unconditional basic subsequence. We also prove that for every cardinal number κ which is smaller than the first ω-Erd?s cardinal there is a normalized weakly-null sequence without subsymmetric subsequences. Finally, we prove that mixed Tsirelson spaces of uncountable densities must always contain isomorphic copies of either c0 or ?p, with p≥1. 相似文献
8.
9.
10.
11.
12.
13.
14.
Assume that the problem P0 is not solvable in polynomial time. Let T be a first-order theory containing a sufficiently rich part of true arithmetic. We characterize T∪{ConT} as the minimal extension of T proving for some algorithm that it decides P0 as fast as any algorithm B with the property that T proves that B decides P0. Here, ConT claims the consistency of T. As a byproduct, we obtain a version of Gödel?s Second Incompleteness Theorem. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories. 相似文献
15.
16.
17.
18.
19.