The covering number and the uniformity of the ideal If

被引：4
|
作者：
Osuga, Noboru [1 ]
机构：
[1] Osaka Prefecture Univ, Grad Sch Sci, Sakai, Osaka 5998531, Japan
来源：
MATHEMATICAL LOGIC QUARTERLY | 2006年 / 52卷 / 04期
关键词：
countable support iteration; infinitely equal forcing; Sacks forcing; covering number;
D O I：
10.1002/malq.200610001
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Let f, g is an element of (omega)omega. We will denote by g >> f that for every k < omega, f(n(k)) <= g(n) except for finitely many n. The ideal I-f on (omega)2 is the collection of sets X such that, for some g >> f and tau is an element of Pi(n <omega) (g(2))2, every x is an element of X satisfies tau(n) subset of x for infinitely many n. In the present paper, we will prove the consistency of cov(I-f) < c and non(I-f) < c. (c) 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
引用
收藏
页码：351 / 358
页数：8
相关论文
共 50 条
12345