2 results
Hechler's Theorem for tall analytic P-ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-736
- Print publication:
- June 2011
-
- Article
- Export citation
-
We prove the following version of Hechler's classical theorem: For each partially ordered set (Q, ≤) with the property that every countable subset of Q has a strict upper bound in Q, there is a ccc forcing notion such that in the generic extension for each tall analytic P-ideal
(coded in the ground model) a cofinal subset of 
is order isomorphic to (Q, ≤).
(coded in the ground model) a cofinal subset of 
is order isomorphic to (Avoiding families and Tukey functions on the nowhere-dense ideal
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 10 / Issue 2 / April 2011
- Published online by Cambridge University Press:
- 01 September 2010, pp. 405-435
- Print publication:
- April 2011
-
- Article
- Export citation
-
We investigate Tukey functions from the ideal of all closed nowhere-dense subsets of 2ℕ. In particular, we answer an old question of Isbell and Fremlin by showing that this ideal is not Tukey reducible to the ideal of density zero subsets of ℕ. We also prove non-existence of various special types of Tukey reductions from the nowhere-dense ideal to analytic P-ideals. In connection with these results, we study families
of clopen subsets of 2ℕ with the property that for each nowhere-dense subset of 2ℕ there is a set in not intersecting it. We call such families avoiding.
of clopen subsets of 2