Abstract
AbstractWe give results exploring the relationship between dominating and unbounded reals in Hechler extensions, as well as the relationships among the extensions themselves. We show that in the standard Hechler extension there is an unbounded real which is dominated by every dominating real, but that this fails to hold in the tree Hechler extension. We prove a representation theorem for dominating reals in the standard Hechler extension: every dominating real eventually dominates a sandwich composition of the Hechler real with two ground model reals that monotonically converge to infinity. We apply our results to negatively settle a conjecture of Brendle and Löwe (Conjecture 15 of [4]). We also answer a question due to Laflamme.
Publisher
Cambridge University Press (CUP)
Reference12 articles.
1. Optimal Proofs of Determinacy
2. Bounding and Dominating Number of Families of Functions on ω
3. On the existence of certain cofinal sets of ^{𝜔}𝜔
4. Hamkins Joel David (mathoverflow.net/users/1946), Cantor-Bernstein for notions of forcing, MathOverflow, http://mathoverflow.net/questions/79323 (version: 2011-10-29).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献