Logic Journal of IGPL

Logic Journal of IGPL Advance Access originally published online on September 24, 2007
Logic Journal of IGPL 2007 15(5-6):433-443; doi:10.1093/jigpal/jzm052

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Da Silva, S. G. Search for Related Content Social Bookmarking          What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Large Cardinals and Topology: a Short Retrospective and Some New Results

Samuel G. Da Silva

Departamento de Matemática, Instituto de Matemática, Universidade Federal da Bahia, Campus Ondina, rua Adhemar de Barros s/n, 40170-110, Salvador/Bahia, Brazil. E-mail: samuel{at}ufba.br

This paper is an enlarged version of the short talk delivered at XIV Brazilian Logic Conference (XIV EBL 2006, Itatiaia, Rio de Janeiro). The author's purpose is to present some applications of large cardinals in general topology, pointing out that there are several topological problems that cannot be settled without dealing with inaccessible cardinals. Various "classical examples" are mentioned, together with recent results. In the last section a new result is presented: it is shown that the existence of a separable space with an uncountable closed discrete subset satisfying a certain relative version of countable paracompactness implies the existence of inner models with measurable cardinals.

Key Words: large cardinals • dominating families • relative countable paracompactness • inner models of measurability.

Received for publication 15 October 2006.

References

1. Arhangel'skii AV. Relative topological properties and relative topological spaces. Proceedings of the International Conference on Convergence Theory (Dijon, 1994) (1996) volume 70:87–99.

2. Comfort WW, Hager AW. Maximal realcompact (and other) topologies. Proceedings of the 18th Summer Conference on Topology and its Applications (2004) volume 28:425–443.

3. da Silva Samuel G. Property (a) and dominating families. Comment. Math. Univ. Carolin. (2005) 46(4):667–684.

4. Dodd AJ, Jensen RB. The covering lemma for K. Ann. Math. Logic (1982) 22(1):1–30.[CrossRef]

5. Dow Alan. Maximal realcompact spaces and measurable cardinals. Topology Appl. (2005) 150(1-3):133–137.

6. Dow Alan, Tall Franklin D., Weiss William A. R. New proofs of the consistency of the normal Moore space conjecture. I. Topology Appl. (1990) 37(1):33–51.[CrossRef]

7. Dow Alan, Tall Franklin D., Weiss William A. R. New proofs of the consistency of the normal Moore space conjecture. II. Topology Appl. (1990) 37(2):115–129.[CrossRef]

8. Dowker CH. On countably paracompact spaces. Canadian J. Math. (1951) 3:219–224.

9. William Fleissner G. If all normal Moore spaces are metrizable, then there is an inner model with a measurable cardinal. Trans. Amer. Math. Soc. (1982) 273(1):365–373.[CrossRef]

10. Good Chris. Large cardinals and small Dowker spaces. Proc. Amer. Math. Soc. (1995) 123(1):263–272.[CrossRef]

11. Good Chris, Knight Robin W. Monotonically countably paracompact, collectionwise Hausdorff spaces and measurable cardinals. Proc. Amer. Math. Soc. (2006) 134(2):591–597. (electronic).

12. Jech Thomas, Prikry Karel. Cofinality of the partial ordering of functions from ₁ into under eventual domination. Math. Proc. Cambridge Philos. Soc. (1984) 95(1):25–32.

13. Burton Jones F. Concerning normal and completely normal spaces. Bull. Amer. Math. Soc. (1937) 43:671–677.

14. Magidor Menachem. How large is the first strongly compact cardinal? or a study on identity crises. Ann. Math. Logic (1976) 10(1):33–57.[CrossRef]

15. Matveev MV. Some questions on property (a). Questions Answers Gen. Topology (1997) 15(2):103–111.

16. Matveev Michael V. Absolutely countably compact spaces. Topology Appl. (1994) 58(1):81–92.[CrossRef]

17. Nyikos Peter J. A provisional solution to the normal Moore space problem. Proc. Amer. Math. Soc. (1980) 78(3):429–435.[CrossRef]

18. Rudin Mary Ellen. A normal space X for which Xx I is not normal. In: Fund. Math. (1971/72) 73(2):179–186.

19. Szeptycki P. Dowker spaces. In: Topology Atlas Invited Contributions (1996) http://at.yorku.ca/topology.

20. Tall FD. Consistency results in topology, ii: Forcing and large cardinals (extended version). In: Topology Atlas, Preprint 490 (2001) http://at.yorku.ca/topology.

21. Tall FD. Consistency results in topology, ii: Forcing and large cardinals. In: Encyclopedia of general topology (2004) Amsterdam: Elsevier Science Publishers B.V. 423–427.

22. van Douwen Eric K. Jones's lemma and inaccessible cardinals. In: General topology and modern analysis (Proc. Conf. Univ. California, Riverside, Calif. 1980) (1981) New York: Academic Press. 399–403.

23. Stephen Watson W. Separation in countably paracompact spaces. Trans. Amer. Math. Soc. (1985) 290(2):831–842.[CrossRef]

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Da Silva, S. G. Search for Related Content Social Bookmarking          What's this?