M-separable spaces of functions are productive in the Miller model

DOI10.1016/J.APAL.2020.102806zbMATH Open1481.03056OpenAlexW3011179836MaRDI QIDQ2187261FDOQ2187261

Authors Lyubomyr Zdomskyy, Dušan Repovš 

Publication date 2 June 2020

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.03144

zbMATH Keywords

Menger spaceMiller forcingspaces of functions\(M\)-separable space

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Topology of special sets defined by functions (54C50)

Abstract: We prove that in the Miller model, every $M$-separable space of the form $C_p(X)$, where $X$ is metrizable and separable, is productively $M$-separable, i.e., $C_p(X)imesY$ is $M$-separable for every countable $M$-separable $Y$.

Recommendations

• On \(M\)-separability of countable spaces and function spaces
• Products of Menger spaces in the Miller model
• Continuous images of products of separable spaces
• Products of \(H\)-separable spaces in the Laver model
• On some questions about selective separability

Cites work

• scientific article; zbMATH DE number 3884145 (Why is no real title available?)
• scientific article; zbMATH DE number 5503808 (Why is no real title available?)
• scientific article; zbMATH DE number 3979987 (Why is no real title available?)
• A semifilter approach to selection principles.
• COMBINATORICS OF OPEN COVERS VI: SELECTORS FOR SEQUENCES OF DENSE SETS
• Combinatorial Cardinal Characteristics of the Continuum
• Consistency results about filters and the number of inequivalent growth types
• Equivalence of Families of Functions on the Natural Numbers
• Hereditary m-separability and the hereditary m-Lindelöf property in product spaces and function spaces
• Near coherence of filters. III: A simplified consistency proof
• On \(M\)-separability of countable spaces and function spaces
• On the cofinality of ultrapowers
• On the consistency of Borel's conjecture
• Products of Hurewicz spaces in the Laver model
• Products of Menger spaces in the Miller model
• Products of \(H\)-separable spaces in the Laver model
• Selective covering properties of product spaces. II: \(\gamma\) spaces
• Selective separability and SS\(^{+}\)
• Selective separability and its variations
• Special subsets of reals characterizing local properties of function spaces
• There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
• Variations of selective separability

Cited in

(2)

• Products of Menger spaces in the Miller model
• Products of \(H\)-separable spaces in the Laver model

This page was built for publication: \(M\)-separable spaces of functions are productive in the Miller model

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