Strong homology and the proper forcing axiom
HTML articles powered by AMS MathViewer
- by Alan Dow, Petr Simon and Jerry E. Vaughan PDF
- Proc. Amer. Math. Soc. 106 (1989), 821-828 Request permission
Abstract:
This paper concerns applications of set theory to the problem of calculating the strong homology of certain subsets of Euclidean spaces. We prove the set theoretic result that it is consistent that every almost coinciding family indexed by $^\omega \omega$ is trivial (e.g., the proper forcing axiom implies this). This result, combined with results of S. Mardešić and A. Prasalov, show that the statement "the $k$-dimensional strong homology of ${Y^{(k + 1)}}$ (the discrete sum of countably many copies of the $(k + 1)$-dimensional Hawaiian earring) is trivial" is consistent with and independent of the usual axioms of set theory.References
- James E. Baumgartner, Applications of the proper forcing axiom, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 913–959. MR 776640
- Eric K. van Douwen, The integers and topology, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 111–167. MR 776622
- Juriĭ T. Lisica and Sibe Mardešić, Strong homology of inverse systems of spaces. I, Topology Appl. 19 (1985), no. 1, 29–43. MR 786079, DOI 10.1016/0166-8641(85)90083-5
- J. Milnor, On axiomatic homology theory, Pacific J. Math. 12 (1962), 337–341. MR 159327
- S. Mardešić and A. V. Prasolov, Strong homology is not additive, Trans. Amer. Math. Soc. 307 (1988), no. 2, 725–744. MR 940224, DOI 10.1090/S0002-9947-1988-0940224-7
Additional Information
- © Copyright 1989 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 106 (1989), 821-828
- MSC: Primary 55P55; Secondary 03E35, 55N07
- DOI: https://doi.org/10.1090/S0002-9939-1989-0961403-5
- MathSciNet review: 961403