Mathematics – Logic
Scientific paper
2010-02-10
Comment. Math. Univ. Carolin., 50(2009), 281-295
Mathematics
Logic
Scientific paper
Given an ideal $I$ on $\omega$ let $a(I) $ ($\bar{a}(I)$) be minimum of the cardinalities of infinite (uncountable) maximal $I$-almost disjoint subsets of $[{\omega}]^{\omega}$, and denote $b_I$ and$d_I$ the unbounding and dominating numbers of $(\omega^\omega,\le_I)$. We show that (1) $a(I)>omega$ if $I$ is a summable ideal; (2) $a(Z)=\omega$ and $\bar{a}(Z)\le a$ if $Z$ is a tall density ideal, (3) $b\le \bar{a}(I)$, and $b_I=b$ and $d_I=d$, for any analytic P-ideal $I$ on $\omega$. Given an analytic $P$-ideal $I$ we investigate the relationship between the Sack, the $I$-bounding, $I$-dominating and ${\omega}^{\omega}$-bounding properties of a given poset $P$. For example, for the density zero ideal $Z$ we can prove: (i) a poset $P$ is $Z$-bounding iff it has the Sacks property, (ii) if $P$ adds a slalom capturing all ground model reals then $P$ is $Z$-dominating.
Farkas Barnabás
Soukup Lajos
No associations
LandOfFree
More on cardinal invariants of analytic P-ideals does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with More on cardinal invariants of analytic P-ideals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and More on cardinal invariants of analytic P-ideals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-67504