Unbounded and dominating reals in Hechler extensions

Journal of Symbolic Logic 78 (1):275-289 (2013)
  Copy   BIBTEX

Abstract

We 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hechler reals.Grzegorz Łabędzki & Miroslav Repický - 1995 - Journal of Symbolic Logic 60 (2):444-458.
Cohen reals from small forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Combinatorics for the dominating and unsplitting numbers.Jason Aubrey - 2004 - Journal of Symbolic Logic 69 (2):482-498.
Adjoining dominating functions.James E. Baumgartner & Peter Dordal - 1985 - Journal of Symbolic Logic 50 (1):94-101.
Adding dominating reals with ωω bounding posets.Janusz Pawlikowski - 1992 - Journal of Symbolic Logic 57 (2):540 - 547.
Dominating and unbounded free sets.Slawomir Solecki & Otmar Spinas - 1999 - Journal of Symbolic Logic 64 (1):75-80.
Subclasses of the Weakly Random Reals.Johanna N. Y. Franklin - 2010 - Notre Dame Journal of Formal Logic 51 (4):417-426.
Mapping a set of reals onto the reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
WHAT IS. . . a Halting Probability?Cristian S. Calude - 2010 - Notices of the AMS 57:236-237.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.

Analytics

Added to PP
2013-01-24

Downloads
17 (#849,202)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Countable OD sets of reals belong to the ground model.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Archive for Mathematical Logic 57 (3-4):285-298.

Add more citations

References found in this work

Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.
Optimal proofs of determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.
Combinatorial properties of Hechler forcing.Jörg Brendle, Haim Judah & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (3):185-199.
Bounding and Dominating Number of Families of Functions on ω.Claude Laflamme - 1994 - Mathematical Logic Quarterly 40 (2):207-223.

Add more references