Parameterized partition relations on the real numbers

Archive for Mathematical Logic 48 (2):201-226 (2009)
  Copy   BIBTEX

Abstract

We consider several kinds of partition relations on the set ${\mathbb{R}}$ of real numbers and its powers, as well as their parameterizations with the set ${[\mathbb{N}]^{\mathbb{N}}}$ of all infinite sets of natural numbers, and show that they hold in some models of set theory. The proofs use generic absoluteness, that is, absoluteness under the required forcing extensions. We show that Solovay models are absolute under those forcing extensions, which yields, for instance, that in these models for every well ordered partition of ${\mathbb{R}^\mathbb{N}}$ there is a sequence of perfect sets whose product lies in one piece of the partition. Moreover, for every finite partition of ${[\mathbb{N}]^{\mathbb{N}} \times \mathbb{R}^{\mathbb{N}}}$ there is ${X \in [\mathbb{N}]^{\mathbb{N}}}$ and a sequence ${\{P_{k} : k \in \mathbb{N}\}}$ of perfect sets such that the product ${[X]^{\mathbb{N}} \times \prod_{k}^{\infty}P_{k}}$ lies in one piece of the partition, where ${[X]^{\mathbb{N}}}$ is the set of all infinite subsets of X. The proofs yield the same results for Borel partitions in ZFC, and for more complex partitions in any model satisfying a certain degree of generic absoluteness

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,119

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

Partitioning the Real Line Into Borel Sets.Will Brian - 2024 - Journal of Symbolic Logic 89 (2):549-568.
The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
Holomorphic extensions of formal objects.Javier Ribón - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (4):657-680.
Undecidable extensions of Skolem arithmetic.Alexis Bes & Denis Richard - 1998 - Journal of Symbolic Logic 63 (2):379-401.
Generic subgroups of Aut $\mathbb{B}^n$.Chiara de Fabritiis - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (4):851-868.
The extended future tube conjecture for SO.Peter Heinzner & Patrick Schützdeller - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (1):39-52.

Analytics

Added to PP
2013-11-23

Downloads
27 (#670,618)

6 months
7 (#974,229)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Happy and mad families in L.Itay Neeman & Zach Norwood - 2018 - Journal of Symbolic Logic 83 (2):572-597.
Absoluteness via resurrection.Giorgio Audrito & Matteo Viale - 2017 - Journal of Mathematical Logic 17 (2):1750005.
On coding uncountable sets by reals.Joan Bagaria & Vladimir Kanovei - 2010 - Mathematical Logic Quarterly 56 (4):409-424.

Add more citations

References found in this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Infinite combinatorics and definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.
Regularity properties of definable sets of reals.Jacques Stern - 1985 - Annals of Pure and Applied Logic 29 (3):289-324.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.

View all 7 references / Add more references