On possible non-homeomorphic substructures of the real line

Research output: Contribution to journalArticle (Academic Journal)peer-review

1 Citation (Scopus)

Abstract

We consider the problem, raised by Kunen and Tall, of whether the real continuum can have non-homeomorphic versions in different submodels of the universe of all sets. This requires large cardinals, and we obtain a exact consistency strength: Theorem 1. The following are equiconsistent: (i) ZFC + There Existskappa a Jonsson cardinal; (ii) ZFC + There ExistsM a sufficiently elementary submodels of the universe of sets with R-M not homeomorphic to R. The reverse direction is a corollary to: Theorem 2. cent is Jonsson double left right arrow There ExistsM <H (cent(+))There ExistsX(M) hereditarily separable, hereditarily Lindelof, T-3 with X not equal X-M. We further consider the large cardinal consequences of the existence of a topological space with a proper substructure homeomorphic to Baire space.
Translated title of the contributionOn possible non-homeomorphic substructures of the real line
Original languageEnglish
Pages (from-to)2771 - 2775
Number of pages5
JournalProceedings of the American Mathematical Society
Volume130 (9)
Publication statusPublished - Sept 2002

Bibliographical note

Publisher: Amer Mathematical Soc

Fingerprint

Dive into the research topics of 'On possible non-homeomorphic substructures of the real line'. Together they form a unique fingerprint.

Cite this