Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
157 tokens/sec
GPT-4o
8 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Borel's Conjecture in Topological Groups (1107.5383v2)

Published 27 Jul 2011 in math.LO, math.GN, and math.GR

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}$ holds, 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}$ holds for a proper class of cardinals $\kappa$ of countable cofinality.

Summary

We haven't generated a summary for this paper yet.