Journal of Mathematical Logic 4 (2):109-145 (2004)
Abstract |
We investigate the Ramsey theory of continuous graph-structures on complete, separable metric spaces and apply the results to the problem of covering a plane by functions. Let the homogeneity number[Formula: see text] of a pair-coloring c:[X]2→2 be the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2ω, c min and c max, which satisfy [Formula: see text] and prove: Theorem. For every Polish space X and every continuous pair-coloringc:[X]2→2with[Formula: see text], [Formula: see text] There is a model of set theory in which[Formula: see text]and[Formula: see text]. The consistency of [Formula: see text] and of [Formula: see text] follows from [20]. We prove that [Formula: see text] is equal to the covering number of 2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to c min gives: Theorem. There is a model of set theory in which ℝ2 is coverable byℵ1graphs and reflections of graphs of continuous real functions; ℝ2 is not coverable byℵ1graphs and reflections of graphs of Lipschitz real functions. Figure 1.1 in the introduction summarizes the ZFC results in Part I of the paper. The independence results in Part II show that any two rows in Fig. 1.1 can be separated if one excludes [Formula: see text] from row.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1142/s0219061304000334 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ 1 -Dense Real Order Types.J. Steprans, Uri Abraham, Matatyahu Rubin & Saharon Shelah - 2002 - Bulletin of Symbolic Logic 8 (2):303.
Many Simple Cardinal Invariants.Martin Goldstern & Saharon Shelah - 1993 - Archive for Mathematical Logic 32 (3):203-221.
Monadic Theory of Order and Topology in ZFC.Yuri Gurevich & Saharon Shelah - 1982 - Annals of Mathematical Logic 23 (2-3):179-198.
Set Theory: On the Structure of the Real Line.T. Bartoszyński & H. Judah - 1999 - Studia Logica 62 (3):444-445.
View all 7 references / Add more references
Citations of this work BETA
Hypergraphs and Proper Forcing.Jindřich Zapletal - 2019 - Journal of Mathematical Logic 19 (2):1950007.
Potential Continuity of Colorings.Stefan Geschke - 2008 - Archive for Mathematical Logic 47 (6):567-578.
Low-Distortion Embeddings of Infinite Metric Spaces Into the Real Line.Stefan Geschke - 2009 - Annals of Pure and Applied Logic 157 (2-3):148-160.
2010 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '10.Michael Rathjen - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
Similar books and articles
On Uniformly Continuous Functions Between Pseudometric Spaces and the Axiom of Countable Choice.Samuel G. da Silva - 2019 - Archive for Mathematical Logic 58 (3-4):353-358.
Covering a Function on the Plane by Two Continuous Functions on an Uncountable Square – the Consistency.Mariusz Rabus & Saharon Shelah - 2000 - Annals of Pure and Applied Logic 103 (1-3):229-240.
Ramsey Classes of Topological and Metric Spaces.Jaroslav Nešetřil - 2006 - Annals of Pure and Applied Logic 143 (1-3):147-154.
A Quasi-Order on Continuous Functions.Raphaël Carroy - 2013 - Journal of Symbolic Logic 78 (2):633-648.
Topologies and Free Constructions.Anna Bucalo & Giuseppe Rosolini - 2013 - Logic and Logical Philosophy 22 (3):327-346.
Low-Distortion Embeddings of Infinite Metric Spaces Into the Real Line.Stefan Geschke - 2009 - Annals of Pure and Applied Logic 157 (2-3):148-160.
An Approximate Herbrand’s Theorem and Definable Functions in Metric Structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
Extending Strongly Continuous Functions Between Apartness Spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.
Eventually Open Action.Barbara Majcher-Iwanow - 2012 - Mathematical Logic Quarterly 58 (1-2):95-104.
Continuous Reducibility and Dimension of Metric Spaces.Philipp Schlicht - 2018 - Archive for Mathematical Logic 57 (3-4):329-359.
Actions of Non-Compact and Non-Locally Compact Polish Groups.Sławomir Solecki - 2000 - Journal of Symbolic Logic 65 (4):1881-1894.
Analytics
Added to PP index
2012-09-02
Total views
37 ( #304,614 of 2,498,183 )
Recent downloads (6 months)
1 ( #427,476 of 2,498,183 )
2012-09-02
Total views
37 ( #304,614 of 2,498,183 )
Recent downloads (6 months)
1 ( #427,476 of 2,498,183 )
How can I increase my downloads?
Downloads