Borel's Conjecture in Topological Groups
Abstract
We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number , let {\sf BC} denote this generalization. Then is equivalent to the classical Borel conjecture. Assuming the classical Borel conjecture, is equivalent to the existence of a Kurepa tree of height . Using the connection of 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 . (2)If it is consistent that holds, then it is consistent that there is an inaccessible cardinal. (3)If it is consistent that there is a 1-inaccessible cardinal with inaccessible cardinals above it, then is consistent. (4)If it is consistent that there is a 2-huge cardinal, then it is consistent that . (5)If it is consistent that there is a 3-huge cardinal, then it is consistent that holds for a proper class of cardinals of countable cofinality.
Keywords
Cite
@article{arxiv.1107.5383,
title = {Borel's Conjecture in Topological Groups},
author = {Fred Galvin and Marion Scheepers},
journal= {arXiv preprint arXiv:1107.5383},
year = {2012}
}
Comments
15 pages