A solution to the L space problem and related ZFC constructions
arXiv:math/0501524 · doi:10.1090/S0894-0347-05-00517-5
Abstract
In this paper I will construct a non-separable hereditarily Lindelof space (L space) without any additional axiomatic assumptions. I will also show that there is a function f from [omega_1]^2 to omega_1 such that if A,B, subsets of omega_1, are uncountable and x omega_1, then there are a < b in A and B respectively with f(a,b) = x. Previously it was unknown whether such a function existed even if omega_1 was replaced by 2. Finally, I will prove that there is no basis for the uncountable regular Hausdorff spaces of cardinality aleph_1. Each of these results gives a strong refutation of a well known and longstanding conjecture. The results all stem from the analysis of oscillations of coherent sequences {e_i : i < omega_1} of finite-to-one functions. I expect that the methods presented will have other applications as well.
27 pages
References in corpus (1)
Cited by in corpus (18)
- Topological games and Alster spaces
- Lindelof spaces which are indestructible, productive, or D
- Strong colorings over partitions
- The Cohomology of the Ordinals I: Basic Theory and Consistency Results
- A new Lindelof topological group
- Graphs and CCR algebras
- Productively Lindelof spaces may all be D
- Variations on countable tightness
- Definable versions of Menger's conjecture
- Club-guessing, stationary reflection, and coloring theorems
- Comparing weak versions of separability
- Oscillations and their applications in partition calculus
- Lindelof indestructibility, topological games and selection principles
- Transforming Rectangles into Squares, with Applications to Strong Colorings
- Increasing chains and discrete reflection of cardinality
- On the definability of Menger spaces which are not /sigma-compact
- The coloring existence theorem revisited
- Lindelof spaces of singular density