Skip to main content Accessibility help

A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids

  • James H. Schmerl (a1)


A structure is an n-grid if each Ei, is an equivalence relation on A and whenever X and Y are equivalence classes of, respectively, distinct Ei, and Ej, then XY is finite. A coloring χ: An is acceptable if whenever X is an equivalence class of Ei, then {xX: χ(x) = i} is finite. If B is any set, then the n-cube Bn = (Bn; E0, …, En−1) is considered as an n-grid, where the equivalence classes of Ei are the lines parallel to the i-th coordinate axis. Kuratowski [9], generalizing the n = 3 case proved by Sierpihski [17], proved that ℝn has an acceptable coloring iff 20 ≤ ℵn−2. The main result is: if is a semialgebraic (i.e., first-order definable in the field of reals) n-grid, then the following are equivalent: (1) if embeds all finite n-cubes, then 20 ≤ ℵn−2: (2) if embeds ℝn, then 20 ≤ ℵn−2; (3) has an acceptable coloring.



Hide All
[1]Bagemihl, Frederick, A proposition of elementary plane geometry that implies the continuum hypothesis, Zeitschrift für Mathematische Logik and Grundlagen der Mathematik, vol. 7 (1961), pp. 7779.
[2]Davies, Roy O., The power of the continuum and some propositions of plane geometry, Fundamenta Mathematical, vol. 52 (1962), pp. 277281.
[3]Davies, Roy O., On a problem of Erdős concerning decompositions of the plane, Proceedings of the Cambridge Philosophical Society, vol. 59 (1963), pp. 3336.
[4]de la Vega, Ramiro, Coloring grids, preprint.
[5]de la Vega, Ramiro, Decompositions of the plane and the size of the continuum, Fundamenta Mathematicae, vol. 203 (2009), pp. 6574.
[6]Erdős, P., Jackson, S., and Mauldin, R. D., On partitions of lines and space, Fundamenta Mathematicae, vol. 145 (1994), pp. 101119.
[7]Graham, R. L., Rothschild, B. L., and Spencer, J. H., Ramsey theory, Wiley & Sons, New York, 1980.
[8]Komjáth, Péter, Three clouds may cover the plane, Annals of Pure and Applied Logic, vol. 109 (2001), pp. 7175.
[9]Kuratowski, C., Sur une characterisation des alephs, Fundamenta Mathematicae, vol. 38 (1951), pp. 1417.
[10]Miller, Arnold, Set theory of the plane, (2005)
[11]Schmerl, J. H., Countable partitions of Euclidean space, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 120 (1996), pp. 712.
[12]Schmerl, J. H., Avoidable algebraic subsets of Euclidean space, Transactions of the American Mathematical Society, vol. 352 (2000), pp. 24792489.
[13]Schmerl, J. H., How many clouds cover the plane?, Fundamenta Mathematicae, vol. 177 (2003), pp. 209211.
[14]Schmerl, J. H., Partitioning large vector spaces, this Journal, vol. 68 (2003), pp. 11711180.
[15]Schmerl, J. H., Covering the plane with sprays, Fundamenta Mathematicae, vol. 208 (2010), pp. 263272.
[16]Sierpiński, W., Sur un théoréme équivalent à l'hypothése du continu (20 = ℵ1), Bull. Int. Acad. Polon. Lett. Cl. Sci. Math. Nat., Série A: Sciences Mathématiques, (1919), pp. 13.
[17]Sierpiński, W., Sur une propriété paradoxale de l'espace à trois dimensions équivalent à l'hypothése du continu, Rendiconti del Circolo Matematico di Palermo. Serie II, vol. 1 (1952), pp. 710.
[18]Sikorski, Roman, A characterization of alephs, Fundamenta Mathematicae, vol. 38 (1951), pp. 1822.
[19]Simms, John C., Sierpiński's theorem, Bulletin of the Belgian Mathematical Society–Simon Stevin, vol. 65 (1991), pp. 69163.
[20]Simms, John C., Another characterization of alephs: decompositions of hyperspace, Notre Dame Journal of Formal Logic, vol. 38 (1997), pp. 1936.
[21]van den Dries, Lou, Algebraic theories with definable skolem functions, this Journal, vol. 49 (1984), pp. 625629.
[22]van den Dries, Lou, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.

A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids

  • James H. Schmerl (a1)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed