Some new results on -spaces

Abstract

A topological space X is a -space (or X ∈ ) if for any decreasing sequence \An : n < ω\ of subsets of X with empty intersection there is a (decreasing) sequence \Un : n < ω\ of open sets with empty intersection such that An ⊂ Un for all n < ω. In this note we prove the following results concerning -spaces. 1) Every T3 countably compact -space is compact. 2) If there is a T1 crowded Baire -space then there is an inner model with a measurable cardinal. 3) If X ∈ and cf (o(X) ) > ω then |X| < o(X). (Here o(X) is the number of open subsets of X.) The first two of these provide full and/or partial solutions to problems raised in the literature, while the third improves a known result.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…