Since there are L-spaces (provably in ZFC), under CH we have regular, hereditarily Lindelöf spaces with density continuum. However, I cannot find an example of such a space under not CH, nor a proof that no such space exists under axioms like MA or PFA. Shelah has a paper on the density of HL spaces, but it is somewhat opaque (I believe it is number 918 in his archive).
Hereditarily Lindelöf spaces with density continuum
GAW
- 31
- 2