Translator Disclaimer
March 2013 Borel's conjecture in topological groups
Fred Galvin, Marion Scheepers
J. Symbolic Logic 78(1): 168-184 (March 2013). DOI: 10.2178/jsl.7801110

Abstract

We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $\kappa$, let ${\sf BC}_{\kappa}$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture. Assuming the classical Borel conjecture, $\neg{\sf BC}_{\aleph_1}$ is equivalent to the existence of a Kurepa tree of height $\aleph_1$. Using the connection of ${\sf BC}_{\kappa}$ with a generalization of Kurepa's Hypothesis, we obtain the following consistency results:

1. If it is consistent that there is a 1-inaccessible cardinal then it is consistent that ${\sf BC}_{\aleph_1}$.

2. If it is consistent that ${\sf BC}_{\aleph_1}$, then it is consistent that there is an inaccessible cardinal.

3. If it is consistent that there is a 1-inaccessible cardinal with $\omega$ inaccessible cardinals above it, then $\neg{\sf BC}_{\aleph_{\omega}} + (\forall n < \omega){\sf BC}_{\aleph_n}$ is consistent.

4. If it is consistent that there is a 2-huge cardinal, then it is consistent that ${\sf BC}_{\aleph_{\omega}}$.

5. If it is consistent that there is a 3-huge cardinal, then it is consistent that ${\sf BC}_{\kappa}$ for a proper class of cardinals $\kappa$ of countable cofinality.

Citation

Download Citation

Fred Galvin. Marion Scheepers. "Borel's conjecture in topological groups." J. Symbolic Logic 78 (1) 168 - 184, March 2013. https://doi.org/10.2178/jsl.7801110

Information

Published: March 2013
First available in Project Euclid: 23 January 2013

zbMATH: 1270.03075
MathSciNet: MR3087068
Digital Object Identifier: 10.2178/jsl.7801110

Subjects:

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
17 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.78 • No. 1 • March 2013
Back to Top