Random forcing and (S) and (L).

DOI10.1016/S0166-8641(02)00297-3MaRDI QIDQ1398196zbMATH OpenFDO

Authors Justin Tatch Moore

Publication date 29 July 2003

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0166-8641(02)00297-3

zbMATH Keywords

\({\mathfrak M}{\mathfrak A}_{\aleph_1}\)homogeneous measure algebraLindelöfrandom forcing

Mathematics Subject Classification ID

Consistency and independence results in general topology (54A35) Counterexamples in general topology (54G20)

Review text

The author gives some conditions for two propositions (S) and (L) to be true or not. (S): Every hereditarily separable space is hereditarily Lindelöf and (L): Every hereditarily Lindelöf space is hereditarily separable. Under \({\mathfrak M}{\mathfrak A}_{\aleph_1}\), after forcing with a separable measure algebra, (S) and (L) are true in the class of cometrizable spaces. A measure is finitely additive, the unit interval \([0,1]\)-valued and strictly positive. For a nonseparable measure algebra, there are counterexamples to (S) and (L). If there is a Sierpiński set, then there is a compact space which contains a counterexample to (L). The Wage lemma \(W(\theta)\) holds after focing with any measure algebra. Under the existence of a Sierpiński set, there is a compact space which contains a counterexample to (L). There are two questions, both under \({\mathfrak M}{\mathfrak A}_{\aleph_1}\). After forcing with any measure algebra, does \(X^2\) contain uncountable discrete subsets whenever \(X\) is nonmetrizable and compact? Another one is: After forcing with any measure algebra, does (S) hold for first countable compact spaces?

Recommendations

• On families of Lindelöf and related subspaces of~\(2^{\omega_1}\)
• How large can a hereditarily separable or hereditarily Lindelöf space be?
• Locally compact, locally countable spaces and random reals
• Random set-mappings and separability of compacta
• Measures and slaloms

Cites work

• Almost disjoint sets and Martin's axiom
• CH with no Ostaszewski spaces
• Chain-condition methods in topology
• Complete normality of cartesian products
• Cosmicity of Cometrizable Spaces
• scientific article; zbMATH DE number 3877173 (Why is no real title available?)
• scientific article; zbMATH DE number 3955942 (Why is no real title available?)
• scientific article; zbMATH DE number 3662196 (Why is no real title available?)
• scientific article; zbMATH DE number 3678157 (Why is no real title available?)
• scientific article; zbMATH DE number 3725262 (Why is no real title available?)
• Normality in X 2 for Compact X
• On Homogeneous Measure Algebras
• Partition Problems in Topology
• Random Reals and Souslin Trees
• Random set-mappings and separability of compacta
• S-spaces in countably compact spaces using Ostaszewski's method
• The density topology
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Undecidability of the existence of regular extremally disconnected S-spaces

Cited in

(5)

• Hereditarily strongly cwH and other separation axioms
• Parametrized \diamondsuit principles
• scientific article; zbMATH DE number 888836 (Why is no real title available?)
• Locally compact, locally countable spaces and random reals
• Random set-mappings and separability of compacta

This page was built for publication: Random forcing and (S) and (L).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398196)