Borel's conjecture in topological groups

Journal of Symbolic Logic 78 (1):168-184 (2013)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bad groups of finite Morley rank.Luis Jaime Corredor - 1989 - Journal of Symbolic Logic 54 (3):768-773.
Diagonal Actions and Borel Equivalence Relations.Longyun Ding & Su Gao - 2006 - Journal of Symbolic Logic 71 (4):1081 - 1096.
Dual Borel Conjecture and Cohen reals.Tomek Bartoszynski & Saharon Shelah - 2010 - Journal of Symbolic Logic 75 (4):1293-1310.
Hyperlinear and sofic groups: a brief guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.
Borel sets and Ramsey's theorem.Fred Galvin & Karel Prikry - 1973 - Journal of Symbolic Logic 38 (2):193-198.
A Silver-like Perfect Set Theorem with an Application to Borel Model Theory.Joël Combase - 2011 - Notre Dame Journal of Formal Logic 52 (4):415-429.

Analytics

Added to PP
2013-01-24

Downloads
25 (#616,937)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The secret life of μ-clubs.Pierre Matet - 2022 - Annals of Pure and Applied Logic 173 (9):103162.

Add more citations

References found in this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.

Add more references