Random forcing and (S) and (L).
type: Item
instance of: scholarly article
title: Random forcing and (S) and (L).
zbMATH Open document ID: 1041.54005
DOI: 10.1016/S0166-8641(02)00297-3
published in: Topology and its Applications
publication date: 2003-07-29T00:00:00Z
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?
reviewed by: Kiyoshi Iseki
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 54G20
zbMATH DE Number: 1955990
zbMATH Keywords: \({\mathfrak M}{\mathfrak A}_{\aleph_1}\)
zbMATH Keywords: homogeneous measure algebra
zbMATH Keywords: random forcing
zbMATH Keywords: Lindelöf
author: Justin Tatch Moore
MaRDI profile type: Publication
cites work: Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
cites work: CH with no Ostaszewski spaces
cites work: Q3344197
cites work: S-spaces in countably compact spaces using Ostaszewski's method
cites work: Cosmicity of Cometrizable Spaces
cites work: Normality in X 2 for Compact X
cites work: Complete normality of cartesian products
cites work: Random Reals and Souslin Trees
cites work: On Homogeneous Measure Algebras
cites work: Q3874454
cites work: Q3725151
cites work: Q3914038
cites work: Undecidability of the existence of regular extremally disconnected S-spaces
cites work: The density topology
cites work: Chain-condition methods in topology
cites work: Partition Problems in Topology
cites work: Random set-mappings and separability of compacta
cites work: Almost disjoint sets and Martin's axiom
cites work: Q3860499
description: scientific article; zbMATH DE number 1955990