Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-27T19:30:14.893Z Has data issue: false hasContentIssue false

Separating Points and Coloring Principles

Published online by Cambridge University Press:  20 November 2018

W. Stephen Watson*
Affiliation:
York University, DownsView, Ontario. M3J1P3, Canada
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In the mid 1970's, Shelah formulated a weak version of ◊. This axiom Φ is a prediction principle for colorings of the binary tree of height ω1. Shelah and Devlin showed that Φ is equivalent to 20 < 21.

In this paper, we formulate Φp, a "Φ for partial colorings", show that both ◊* and Fleissner's “◊ for stationary systems” imply Φp, that ◊ does not imply Φp and that Φp does not imply CH.

We show that Φp implies that, in a normal first countable space, a discrete family of points of cardinality ℵ1 is separated.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1984

Footnotes

This work has been supported by the Natural Sciences and Engineering Research Council of Canada.

References

1. Devlin, K. and Shelah, S., A weak version of ◊ which follows from 20 < 21 , Israel Journal of Math 29 (1978) 239-247.CrossRefGoogle Scholar
2. Fleissner, W. G., Normal Moore spaces in the constructible universe, Proc. Amer. Math. Soc. 46 (1974) 294-298.CrossRefGoogle Scholar
3. Mathias, A. R. D., Logic Colloquium 76, North Holland 1977, p. 542.Google Scholar
4. Shelah, S., S. A Note in General Topology; If then any normal space is ℵ1-CWH; Preprints in Math. Logic, spring 1979.Google Scholar
5. Shelah, S., Whitehead Groups may not be free, even assuming CH, Israel Journal of Math. I 28 (1977) 193-204; II 35 (1980) 257–285.CrossRefGoogle Scholar
6. Taylor, A. D., Diamond Principles, Ideals and the Normal Moore Space Problem. Can. Jour. Math. 33 (1981) 282-296.CrossRefGoogle Scholar