New proofs of the consistency of the normal Moore space conjecture. II. (English) Zbl 0729.54003
[For Part I see ibid. 37, No.1, 33-51 (1990; Zbl 0719.54038).]
In this last of two important papers on the theme the authors “continue their review of the technique of iterated forcing and reflection by describing the machinery developed for reflection from a weakly compact cardinal.” Then they “present more applications of the technique to show conditions under which nonmetrizability, nonparacompactness, or nondevelopability reflect.” In the final section they “present yet another proof of the normal Moore space conjecture which avoids elementary embeddings by using filter combinatorics and provides a quick path to the solution for those less interested in general applicable techniques.” The paper concludes with some interesting historical remarks.
In this last of two important papers on the theme the authors “continue their review of the technique of iterated forcing and reflection by describing the machinery developed for reflection from a weakly compact cardinal.” Then they “present more applications of the technique to show conditions under which nonmetrizability, nonparacompactness, or nondevelopability reflect.” In the final section they “present yet another proof of the normal Moore space conjecture which avoids elementary embeddings by using filter combinatorics and provides a quick path to the solution for those less interested in general applicable techniques.” The paper concludes with some interesting historical remarks.
Reviewer: H.Brandenburg (Eichenzell)
MSC:
| 54A35 | Consistency and independence results in general topology |
| 54E30 | Moore spaces |
| 54D15 | Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) |
| 54D20 | Noncompact covering properties (paracompact, Lindelöf, etc.) |
Citations:
Zbl 0719.54038References:
| [1] | Burke, D. K., Covering properties, (Kunen, K.; Vaughan, J. E., Handbook of Set-Theoretic Topology (1984), North-Holland: North-Holland Amsterdam), 347-422 · Zbl 0569.54022 |
| [2] | Carlson, T., Extending Lebesgue measure by infinitely many sets, Pacific J. Math., 115, 33-45 (1984) · Zbl 0582.28004 |
| [3] | Dow, A.; Tall, F. D.; Weiss, W. A.R., New proofs of the consistency of the normal Moore space conjecture I, Topology Appl., 37, 33-51 (1990) · Zbl 0719.54038 |
| [4] | Erdös, P.; Tarski, A., On some problems involving inaccessible cardinals, (Bar-Hillel, Y.; etal., Essays on the Foundations of Mathematics (1961), The Magnes Press: The Magnes Press Jerusalem), 50-82 · Zbl 0212.32502 |
| [5] | Fleissner, W. G., The normal Moore space conjecture and large cardinals, (Kunen, K.; Vaughan, J. E., Handbook of Set-Theoretic Topology (1984), North-Holland: North-Holland Amsterdam), 733-760 · Zbl 0562.54039 |
| [6] | Fleissner, W. G., Homomorphism axioms and lynxes, (Baumgartner, J. E.; Martin, D. A.; Shelah, S., Axiomatic Set Theory, Contemporary Mathematics, 31 (1984), Amer. Math. Soc: Amer. Math. Soc Providence, RI), 79-97 · Zbl 0565.03024 |
| [7] | Fleissner, W. G.; Hansell, R. W.; Junnila, H. J.K., PMEA implies Proposition P, Topology Appl., 13, 255-262 (1982) · Zbl 0506.03013 |
| [8] | Gruenhage, G., Generalized matric spaces, (Kunen, K.; Vaughan, J. E., Handbook of Set-Theoretic Topology (1984), North-Holland: North-Holland Amsterdam), 423-501 · Zbl 0555.54015 |
| [9] | Hajnal, A.; Juhász, I., On spaces in which every small subspace is metrizable, Bull. Polon. Acad. Sci. Sér. Mat. Astronom. Phys., 24, 727-731 (1976) · Zbl 0345.54003 |
| [10] | Junnila, H. J.K., On \(σ\)-spaces and pseudo-metrizable spaces, Topology Proc., 4, 121-132 (1979) · Zbl 0457.54023 |
| [11] | Junnila, H. J.K., Some topological consequences of the Product Measure Extension Axiom, Fund. Math., 115, 1-8 (1983) · Zbl 0523.54014 |
| [12] | Kanamori, A.; Magidor, M., The evolution of large cardinal axioms in set theory, (Proceedings of the Conference on Higher Set Theory. Proceedings of the Conference on Higher Set Theory, Lecture Notes in Mathematics, 669 (1978), Springer: Springer Berlin), 99-275 · Zbl 0381.03038 |
| [13] | Kunen, K.; Paris, J. B., Boolean extensions and measurable cardinals, Ann. Math. Logic, 2, 359-378 (1971) · Zbl 0216.01402 |
| [14] | Menas, T. K., Consistency results concerning supercompactness, Trans. Amer. Math. Soc., 223, 61-69 (1976) · Zbl 0348.02046 |
| [15] | Mitchell, W. J., Aronszajn trees and the independence of the transfer property, Ann. Math. Logic, 5, 21-46 (1972) · Zbl 0255.02069 |
| [16] | Nyikos, P. J., Set-theoretic topology of manifolds, (General Topology and its Relation to Modern Analysis and Algebra, V (1981), Heldermann: Heldermann Berlin), 526-573, (Prague) · Zbl 0561.54003 |
| [17] | Solovay, R. M.; Reinhardt, W. N.; Kanamori, A., Strong axioms of infinity and elementary embeddings, Ann. Math. Logic, 13, 1, 73-116 (1978) · Zbl 0376.02055 |
| [18] | Tall, F. D., Introductory lectures on forcing, Chengdu. Chengdu, Handwritten manuscript (1982) |
| [19] | Tall, F. D., A note on normality and collectionwise normality, Topology Proc., 7, 267-277 (1982) · Zbl 0527.54020 |
| [20] | Tall, F. D., Countably paracompact Moore Spaces are metrizable in the Cohen model, Topology Proc., 9, 145-148 (1984) · Zbl 0563.54007 |
| [21] | Tall, F. D., A note on the collectionwise normality of locally compact normal spaces, Topology Appl., 28, 165-169 (1988) |
| [23] | Taylor, A. D., Diamond principles, ideals, and the normal Moore space problem, Canad. J. Math., 33, 282-296 (1981) · Zbl 0472.54005 |
| [24] | van Douwen, E. K., The integers and topology, (Kunen, K.; Vaughan, J. E., Handbook of Set-Theoretic Topology (1984), North-Holland: North-Holland Amsterdam), 111-167 · Zbl 0561.54004 |
| [25] | Watson, S., The character of Bing’s space, Topology Appl., 28, 171-175 (1988) · Zbl 0636.54006 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
