Topological applications of generic huge embeddings
HTML articles powered by AMS MathViewer
- by Franklin D. Tall PDF
- Trans. Amer. Math. Soc. 341 (1994), 45-68 Request permission
Abstract:
In the Foreman-Laver model obtained by huge cardinal collapse, for many $\Phi ,\Phi ({\aleph _1})$ implies $\Phi ({\aleph _2})$. There are a variety of set-theoretic and topological applications, in particular to paracompactness. The key tools are generic huge embeddings and preservation via $\kappa$-centred forcing. We also formulate "potent axioms" à la Foreman which enable us to transfer from ${\aleph _1}$ to all cardinals. One such axiom implies that all ${\aleph _1}$-collectionwise normal Moore spaces are metrizable. It also implies (as does Martin’s Maximum) that a first countable generalized ordered space is hereditarily paracompact iff every subspace of size ${\aleph _1}$ is paracompact.References
- C. E. Aull, Some base axioms for topology involving enumerability, General Topology and its Relations to Modern Analysis and Algebra, III (Proc. Conf., Kanpur, 1968) Academia, Prague, 1971, pp. 55–61. MR 0287508
- Z. Balogh and M. E. Rudin, Monotone normality, Topology Appl. 47 (1992), no. 2, 115–127. MR 1193194, DOI 10.1016/0166-8641(92)90066-9
- Murray G. Bell, On the combinatorial principle $P({\mathfrak {c}})$, Fund. Math. 114 (1981), no. 2, 149–157. MR 643555, DOI 10.4064/fm-114-2-149-157
- Shai Ben-David, On Shelah’s compactness of cardinals, Israel J. Math. 31 (1978), no. 1, 34–56. MR 506381, DOI 10.1007/BF02761379
- Shai Ben-David, A Laver-type indestructability for accessible cardinals, Logic colloquium ’86 (Hull, 1986) Stud. Logic Found. Math., vol. 124, North-Holland, Amsterdam, 1988, pp. 9–19. MR 922103, DOI 10.1016/S0049-237X(09)70650-0
- W. Wistar Comfort and Stylianos A. Negrepontis, Chain conditions in topology, Cambridge Tracts in Mathematics, vol. 79, Cambridge University Press, Cambridge-New York, 1982. MR 665100
- Peg Daniels, A first countable, weakly $\omega _1$-CWH, not weakly $\omega _2$-CWH space, Questions Answers Gen. Topology 6 (1988), no. 2, 129–134. MR 1045606
- Alan Dow, An empty class of nonmetric spaces, Proc. Amer. Math. Soc. 104 (1988), no. 3, 999–1001. MR 964886, DOI 10.1090/S0002-9939-1988-0964886-9
- Alan Dow, Franklin D. Tall, and William A. R. Weiss, New proofs of the consistency of the normal Moore space conjecture. I, Topology Appl. 37 (1990), no. 1, 33–51. MR 1075372, DOI 10.1016/0166-8641(90)90013-R
- Alan Dow, Franklin D. Tall, and William A. R. Weiss, New proofs of the consistency of the normal Moore space conjecture. I, Topology Appl. 37 (1990), no. 1, 33–51. MR 1075372, DOI 10.1016/0166-8641(90)90013-R
- Kenneth Kunen and Jerry E. Vaughan (eds.), Handbook of set-theoretic topology, North-Holland Publishing Co., Amsterdam, 1984. MR 776619
- Ryszard Engelking, General topology, 2nd ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann Verlag, Berlin, 1989. Translated from the Polish by the author. MR 1039321
- R. Engelking and D. Lutzer, Paracompactness in ordered spaces, Fund. Math. 94 (1977), no. 1, 49–58. MR 428278, DOI 10.4064/fm-94-1-25-33
- William Fleissner, Normal Moore spaces in the constructible universe, Proc. Amer. Math. Soc. 46 (1974), 294–298. MR 362240, DOI 10.1090/S0002-9939-1974-0362240-4 —, Separating discrete collections of singular cardinality, Set-theoretic Topology (G. M. Reed, ed.), Academic Press, New York, 1977, pp. 135-140.
- William G. Fleissner, On $\lambda$ collection Hausdorff spaces, Topology Proc. 2 (1977), no. 2, 445–456 (1978). MR 540621
- William G. Fleissner, Separation properties in Moore spaces, Fund. Math. 98 (1978), no. 3, 279–286. MR 478111, DOI 10.4064/fm-98-3-279-286 —, Current research on $Q$-sets, Colloq. Math. Soc. János Bolyai 23 (1978), 413-431.
- William G. Fleissner, Left separated spaces with point-countable bases, Trans. Amer. Math. Soc. 294 (1986), no. 2, 665–677. MR 825729, DOI 10.1090/S0002-9947-1986-0825729-X
- Matthew Foreman, Large cardinals and strong model theoretic transfer properties, Trans. Amer. Math. Soc. 272 (1982), no. 2, 427–463. MR 662045, DOI 10.1090/S0002-9947-1982-0662045-X
- Matthew Foreman, More saturated ideals, Cabal seminar 79–81, Lecture Notes in Math., vol. 1019, Springer, Berlin, 1983, pp. 1–27. MR 730584, DOI 10.1007/BFb0071691
- Matthew Foreman, Potent axioms, Trans. Amer. Math. Soc. 294 (1986), no. 1, 1–28. MR 819932, DOI 10.1090/S0002-9947-1986-0819932-2
- Matthew Foreman and Richard Laver, Some downwards transfer properties for $\aleph _2$, Adv. in Math. 67 (1988), no. 2, 230–238. MR 925267, DOI 10.1016/0001-8708(88)90041-2
- V. Faber, R. Laver, and R. McKenzie, Coverings of groups by abelian subgroups, Canadian J. Math. 30 (1978), no. 5, 933–945. MR 506252, DOI 10.4153/CJM-1978-081-1
- M. Foreman, M. Magidor, and S. Shelah, Martin’s maximum, saturated ideals, and nonregular ultrafilters. I, Ann. of Math. (2) 127 (1988), no. 1, 1–47. MR 924672, DOI 10.2307/1971415
- William G. Fleissner and Saharon Shelah, Collectionwise Hausdorff: incompactness at singulars, Topology Appl. 31 (1989), no. 2, 101–107. MR 994403, DOI 10.1016/0166-8641(89)90074-6
- R. Hodel, Cardinal functions. I, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 1–61. MR 776620
- A. Hajnal and I. Juhász, On spaces in which every small subspace is metrizable, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 24 (1976), no. 9, 727–731 (English, with Russian summary). MR 448312 I. Juhász, Cardinal functions in topology—ten years later, Math. Centre Tracts 123, North-Holland, Amsterdam, 1980.
- Kenneth Kunen, Saturated ideals, J. Symbolic Logic 43 (1978), no. 1, 65–76. MR 495118, DOI 10.2307/2271949
- Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
- A. Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977) Lecture Notes in Math., vol. 669, Springer, Berlin, 1978, pp. 99–275. MR 520190
- Kenneth Kunen and Franklin D. Tall, Between Martin’s axiom and Souslin’s hypothesis, Fund. Math. 102 (1979), no. 3, 173–181. MR 532951, DOI 10.4064/fm-102-3-173-181
- Richard Laver, An $(\aleph _{2},\,\aleph _{2},\,\aleph _{0})$-saturated ideal on $\omega _{1}$, Logic Colloquium ’80 (Prague, 1980) Studies in Logic and the Foundations of Mathematics, vol. 108, North-Holland, Amsterdam-New York, 1982, pp. 173–180. MR 673792
- Tim LaBerge and Avner Landver, Reflection and weakly collectionwise Hausdorff spaces, Proc. Amer. Math. Soc. 122 (1994), no. 1, 291–302. MR 1231038, DOI 10.1090/S0002-9939-1994-1231038-X
- D. J. Lutzer, Ordinals and paracompactness in ordered spaces, TOPO 72—general topology and its applications (Proc. Second Pittsburgh Internat. Conf., Pittsburgh, Pa., 1972; dedicated to the memory of Johannes H. de Groot), Lecture Notes in Math., Vol. 378, Springer, Berlin, 1974, pp. 258–266. MR 0362250
- Menachem Magidor, Reflecting stationary sets, J. Symbolic Logic 47 (1982), no. 4, 755–771 (1983). MR 683153, DOI 10.2307/2273097
- E. C. Milner and S. Shelah, Some theorems on transversals, Infinite and finite sets (Colloq., Keszthely, 1973; dedicated to P. Erdős on his 60th birthday), Vol. III, Colloq. Math. Soc. János Bolyai, Vol. 10, North-Holland, Amsterdam, 1975, pp. 1115–1126. MR 0376358
- Teodor C. Przymusiński, Products of normal spaces, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 781–826. MR 776637
- Saharon Shelah, Remarks on $\lambda$-collectionwise Hausdorff spaces, Topology Proc. 2 (1977), no. 2, 583–592 (1978). MR 540629
- Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR 675955
- Lajos Soukup, A nonspecial $\omega _2$-tree with special $\omega _1$-subtrees, Comment. Math. Univ. Carolin. 31 (1990), no. 3, 607–612. MR 1078493
- Charles I. Steinhorn and James H. King, The uniformization property for $\aleph _{2}$, Israel J. Math. 36 (1980), no. 3-4, 248–256. MR 597452, DOI 10.1007/BF02762048
- Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori, Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), no. 1, 73–116. MR 482431, DOI 10.1016/0003-4843(78)90031-1
- W. Stephen Watson, Extending ideals, Israel J. Math. 54 (1986), no. 2, 201–226. MR 852478, DOI 10.1007/BF02764942
- F. D. Tall, Set-theoretic consistency results and topological theorems concerning the normal Moore space conjecture and related problems, Dissertationes Math. (Rozprawy Mat.) 148 (1977), 53. MR 454913
- Franklin D. Tall, The countable chain condition versus separability—applications of Martin’s axiom, General Topology and Appl. 4 (1974), 315–339. MR 423284
- Franklin D. Tall, Weakly collectionwise Hausdorff spaces, Topology Proceedings, Vol. I (Conf., Auburn Univ., Auburn, Ala., 1976) Math. Dept., Auburn Univ., Auburn, Ala., 1977, pp. 295–304. MR 0454914
- Franklin D. Tall, Normality versus collectionwise normality, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 685–732. MR 776634
- F. D. Tall, Topological applications of supercompact and huge cardinals, General topology and its relations to modern analysis and algebra, VI (Prague, 1986) Res. Exp. Math., vol. 16, Heldermann, Berlin, 1988, pp. 545–557. MR 952637
- Franklin D. Tall, More topological applications of generic elementary embeddings, Proceedings of the Symposium on General Topology and Applications (Oxford, 1989), 1992, pp. 353–358. MR 1173272, DOI 10.1016/0166-8641(92)90108-C —, Some applications of a generalized Martin’s Axiom, Topology Appl. (to appear).
- Franklin D. Tall, $\sigma$-centred forcing and reflection of (sub)metrizability, Proc. Amer. Math. Soc. 121 (1994), no. 1, 299–306. MR 1179593, DOI 10.1090/S0002-9939-1994-1179593-2
- Stevo Todorčević, Special square sequences, Proc. Amer. Math. Soc. 105 (1989), no. 1, 199–205. MR 929410, DOI 10.1090/S0002-9939-1989-0929410-6
- Stephen Watson, Comments on separation, Topology Proc. 14 (1989), no. 2, 315–372. MR 1107730
Additional Information
- © Copyright 1994 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 341 (1994), 45-68
- MSC: Primary 03E35; Secondary 03E55, 03E75, 54A35
- DOI: https://doi.org/10.1090/S0002-9947-1994-1223302-X
- MathSciNet review: 1223302