Source author record

Fred Galvin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GN math.LO math.GR

Catalog footprint

Research overview

2works

3topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

Baire spaces and infinite games

It is well known that if the nonempty player of the Banach-Mazur game has a winning strategy on a space, then that space is Baire in all powers even in the box topology. The converse of this implication may be true also: We know of no consistency result to the contrary. In this paper we establish the consistency of the converse relative to the consistency of the existence of a proper class of measurable cardinals.

preprint2012arXiv

Borel's Conjecture in Topological Groups

We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $κ$ , let {\sf BC} $_κ$ 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}_κ$ 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 $ω$ inaccessible cardinals above it, then $\neg{\sf BC}_{\aleph_ω} \, +\, (\forall n<ω){\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_ω}$ . (5)If it is consistent that there is a 3-huge cardinal, then it is consistent that ${\sf BC}_κ$ holds for a proper class of cardinals $κ$ of countable cofinality.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.