Proper forcing axiom and selective separability

DOI10.1016/J.TOPOL.2011.11.048MaRDI QIDQ409521zbMATH OpenOpenAlexWikidataFDO

Authors Doyel Barman, Alan Dow

Publication date 13 April 2012

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

Full work available at URL https://doi.org/10.1016/j.topol.2011.11.048

zbMATH Keywords

Frechet spacePFASelective separabilitySS+

Mathematics Subject Classification ID

Consistency and independence results in general topology (54A35) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Separability of topological spaces (54D65) Topological groups (topological aspects) (54H11)

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\(^+\).

Recommendations

• Selective separability and SS\(^{+}\)
• Countable tightness and proper forcing
• Selective separability on spaces with an analytic topology
• Variations of selective separability
• scientific article; zbMATH DE number 5503808

Cites work

• COMBINATORICS OF OPEN COVERS VI: SELECTORS FOR SEQUENCES OF DENSE SETS
• scientific article; zbMATH DE number 3644105 (Why is no real title available?)
• scientific article; zbMATH DE number 5503808 (Why is no real title available?)
• scientific article; zbMATH DE number 5507303 (Why is no real title available?)
• scientific article; zbMATH DE number 510709 (Why is no real title available?)
• scientific article; zbMATH DE number 1959525 (Why is no real title available?)
• scientific article; zbMATH DE number 889885 (Why is no real title available?)
• Selective separability and its variations
• Selective separability and SS\(^{+}\)
• Variations of selective separability

Cited in

(32)

• Convergence in topological groups and the Cohen reals
• Tightness games with bounded finite selections
• Products of H-separable spaces in the Laver model
• Relating games of Menger, countable fan tightness, and selective separability
• Selective separability on spaces with an analytic topology
• Selective separability and \(q^+\) in maximal spaces
• Malykhin's problem
• \(\pi\)-weight and the Fréchet-Urysohn property
• Precompact groups and convergence
• Combinatorial properties on nodec countable spaces with analytic topology
• No interesting sequential groups
• Diagonalizations of dense families
• Convergent sequences in topological groups
• Selective covering properties of product spaces. II: spaces
• Separation problems and forcing
• Selective separability and SS\(^{+}\)
• scientific article; zbMATH DE number 3885892 (Why is no real title available?)
• The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
• Distributive proper forcing axiom and cardinal invariants
• scientific article; zbMATH DE number 3898876 (Why is no real title available?)
• Remarks on countable tightness
• On two selection principles and the corresponding games
• Variations on selective separability in non-regular spaces
• Products of Hurewicz spaces in the Laver model
• The bounded proper forcing axiom
• Selection principles in the Laver, Miller, and Sacks models
• On sequential analytic groups
• Invariant Ideal Axiom
• On Ramsey properties, function spaces, and topological games
• Selective separability properties of Fréchet–Urysohn spaces and their products
• Ma and three Fréchet spaces
• Some results on the -weight of countable Fréchet-Urysohn spaces

This page was built for publication: Proper forcing axiom and selective separability

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