Proper forcing axiom and selective separability
type: Item
instance of: scholarly article
title: Proper forcing axiom and selective separability
zbMATH Open document ID: 1246.54031
author: Doyel Barman
author: Alan Dow
published in: Topology and its Applications
publication date: 2012-04-13T00:00:00Z
Mathematics Subject Classification ID: 54H11
Mathematics Subject Classification ID: 54C10
Mathematics Subject Classification ID: 54D65
Mathematics Subject Classification ID: 54A35
zbMATH DE Number: 6023696
zbMATH Keywords: PFA
zbMATH Keywords: Selective separability
zbMATH Keywords: SS+
zbMATH Keywords: Frechet space
reviewed by: Fernando Hernández-Hernández
MaRDI profile type: Publication
full work available at URL: j.topol.2011.11.048
OpenAlex ID: W1999546432
Wikidata QID: Q114012995
cites work: Q3052958
cites work: Q3049484
cites work: Variations of selective separability
cites work: Q4281180
cites work: Q4416774
cites work: Q3596798
cites work: Q3602320
cites work: Selective separability and its variations
cites work: Q4882397
cites work: COMBINATORICS OF OPEN COVERS VI: SELECTORS FOR SEQUENCES OF DENSE SETS
DOI: 10.1016/J.TOPOL.2011.11.048
review text: Selectively separable (or SS) spaces are becoming popular nowadays; perhaps less popular are SS\(^+\)-spaces which are those in which player II has a winning strategy for the following natural game: player I picks a dense set \(D_n\); player II picks a finite set \(E_n\subseteq D_n\). Player II wins if \(\bigcup_{n\in\omega}E_n\) is dense.NEWLINENEWLINEIn the paper under review the authors address a question by Gruenhage asking if player II would always have a Markov strategy in each SS\(^+\)-space; that is, a strategy that only depends on the present and the other player's previous move. They solve the problem for countable spaces showing that in such cases the strategy can be chosen to be Markov.NEWLINENEWLINEThey introduce the notion of being \textit{compact-like} for a collection of open sets in a topological space and they use it to show that the union of SS\(^+\)-spaces may fail to be an SS\(^+\)-space and that the property of being a Markov SS-space is finitely productive; this has the consequence that the product of two countable SS\(^+\)-spaces is again of the same kind. A nice result in the paper is that PFA implies that the product of two countable Fréchet spaces is SS. The same authors proved in a previous paper that MA\(_{\;ctble}\) may be used to obtain countable SS-spaces whose product is not SS.NEWLINENEWLINEThe paper closes with some open problems; for instance, the authors restate Gruenhage's question which remains open in the general case as well as the consistency of the fact that the product of two separable Fréchet spaces is SS. Another problem is whether there is a ZFC example of a countable space which is Fréchet but not SS\(^+\).
description: scientific article; zbMATH DE number 6023696