Showing 1–15 of 15 results for author: Szewczak, P

Scales, products and the second row of the Scheepers diagram

Authors: Michał Pawlikowski, Piotr Szewczak, Lyubomyr Zdomskyy

Abstract: We consider products of sets of reals with a combinatorial structure based on scales parameterized by filters. This kind of sets were intensively investigated in products of spaces with combinatorial covering properties as Hurewicz, Scheepers, Menger and Rothberger. We will complete this picture with focusing on properties from the second row of the Scheepers diagram. In particular we show that in… ▽ More We consider products of sets of reals with a combinatorial structure based on scales parameterized by filters. This kind of sets were intensively investigated in products of spaces with combinatorial covering properties as Hurewicz, Scheepers, Menger and Rothberger. We will complete this picture with focusing on properties from the second row of the Scheepers diagram. In particular we show that in the Miller model a product space of two $\mathfrak{d}$-concentrated sets has a strong covering property $\mathsf{S}_1(Γ,Ω)$. We provide also counterexamples in products to demonstrate limitations of used methods. △ Less

Submitted 27 March, 2025; v1 submitted 24 March, 2025; originally announced March 2025.

Comments: 23 pp

MSC Class: 54D20; 05D10; 54C35

Small Hurewicz and Menger sets which have large continuous images

Authors: Piotr Szewczak, Tomasz Weiss, Lyubomyr Zdomskyy

Abstract: We provide new techniques to construct sets of reals without perfect subsets and with the Hurewicz or Menger covering properties. In particular, we show that if the Continuum Hypothesis holds, then there are such sets which can be mapped continuously onto the Cantor space. These results allow to separate the properties of Menger and $\mathsf{S}_1(Γ,\mathrm{O})$ in the realm of sets of reals withou… ▽ More We provide new techniques to construct sets of reals without perfect subsets and with the Hurewicz or Menger covering properties. In particular, we show that if the Continuum Hypothesis holds, then there are such sets which can be mapped continuously onto the Cantor space. These results allow to separate the properties of Menger and $\mathsf{S}_1(Γ,\mathrm{O})$ in the realm of sets of reals without perfect subsets and solve a problem of Nowik and Tsaban concerning perfectly meager subsets in the transitive sense. We present also some other applications of the mentioned above methods. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: 11 pages

MSC Class: 54D20

Menger and consonant sets in the Sacks model

Authors: Valentin Haberl, Piotr Szewczak, Lyubomyr Zdomskyy

Abstract: Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant subsets of the Cantor cube in the Sacks model. Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant subsets of the Cantor cube in the Sacks model. △ Less

Submitted 14 February, 2025; v1 submitted 8 June, 2024; originally announced June 2024.

Comments: 26 pages

MSC Class: 54D20; 03E35

Concentrated sets and $γ$-sets in the Miller model

Authors: Valentin Haberl, Piotr Szewczak, Lyubomyr Zdomskyy

Abstract: Using combinatorial covering properties, we show that there is no concentrated set of reals of size $ω_2$ in the Miller model. The main result refutes a conjecture of Bartoszyński and Halbeisen. We also prove that there are no $γ$-set of reals of size $ω_2$ in the Miller model. Using combinatorial covering properties, we show that there is no concentrated set of reals of size $ω_2$ in the Miller model. The main result refutes a conjecture of Bartoszyński and Halbeisen. We also prove that there are no $γ$-set of reals of size $ω_2$ in the Miller model. △ Less

Submitted 21 June, 2024; v1 submitted 5 October, 2023; originally announced October 2023.

Comments: arXiv admin note: text overlap with arXiv:2204.08257

MSC Class: 03E35; 54D20; 03E75

Abstract colorings, games and ultrafilters

Authors: Piotr Szewczak

Abstract: The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for natural numbers due to Milliken--Tylor, Deuber--Hindman, Bergelson--Hindman, for combinatorial covering properties due to Scheepers and Tsaban, and local properti… ▽ More The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for natural numbers due to Milliken--Tylor, Deuber--Hindman, Bergelson--Hindman, for combinatorial covering properties due to Scheepers and Tsaban, and local properties in function spaces due to Scheepers. To this end, we use idempotent ultrafilters in the Čech--Stone compactifications of discrete infinite semigroups and topological games. The research is motivated by the recent breakthrough work of Tsaban about colorings and the Menger covering property. △ Less

Submitted 6 July, 2021; originally announced July 2021.

Comments: 21 pages

MSC Class: Primary: 05D10; 54D20; 54C35; Secondary: 16W22

Null sets and combinatorial covering properties

Authors: Piotr Szewczak, Tomasz Weiss

Abstract: A subset of the Cantor cube is null-additive if its algebraic sum with any null set is null. We construct a set of cardinality continuum such that: all continuous images of the set into the Cantor cube are null-additive, it contains a homeomorphic copy of a set that is not null-additive, and it has the property $γ$, a strong combinatorial covering property. We also construct a nontrivial subset of… ▽ More A subset of the Cantor cube is null-additive if its algebraic sum with any null set is null. We construct a set of cardinality continuum such that: all continuous images of the set into the Cantor cube are null-additive, it contains a homeomorphic copy of a set that is not null-additive, and it has the property $γ$, a strong combinatorial covering property. We also construct a nontrivial subset of the Cantor cube with the property $γ$ that is not null additive. Set-theoretic assumptions used in our constructions are far milder than used earlier by Galvin--Miller and Bartoszyński--Recław, to obtain sets with analogous properties. We also consider products of Sierpiński sets in the context of combinatorial covering properties. △ Less

Submitted 6 July, 2021; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: 11 pages

MSC Class: 37F20; 03E35; 03E75

Unbounded towers and products

Authors: Piotr Szewczak, Magdalena Włudecka

Abstract: We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(Γ,Γ)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each cover and obtain a point-cofinite cover of the space. We prove that, if there is an unbounded tower, then there is a nontrivial set of reals satisfying… ▽ More We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(Γ,Γ)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each cover and obtain a point-cofinite cover of the space. We prove that, if there is an unbounded tower, then there is a nontrivial set of reals satisfying $\mathsf{S}_1(Γ,Γ)$ in all finite powers. In contrast to earlier results, our proof does not require any additional set-theoretic assumptions. A topological space satisfies $Ω\chooseΓ$ (also known as Gerlits--Nagy's property $γ$) if every open cover of the space such that each finite subset of the space is contained in a member of the cover, contains a point-cofinite cover of the space. We investigate products of sets satisfying $Ω\chooseΓ$ and their relations to other classic combinatorial covering properties. We show that finite products of sets with a certain combinatorial structure satisfy $Ω\chooseΓ$ and give necessary and sufficient conditions when these sets are productively $Ω\chooseΓ$. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 19 pages

MSC Class: 26A03; 54D20; 03E75; 03E17

Strongly sequentially separable function spaces, via selection principles

Authors: Alexander V. Osipov, Piotr Szewczak, Boaz Tsaban

Abstract: A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel real-valued functions on Tychonoff spaces, with the topology of pointwise convergence. Our results solve a problem stated by Gartside, Lo, and Marsh. A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel real-valued functions on Tychonoff spaces, with the topology of pointwise convergence. Our results solve a problem stated by Gartside, Lo, and Marsh. △ Less

Submitted 7 November, 2019; v1 submitted 20 May, 2019; originally announced May 2019.

Comments: 9 pages

MSC Class: 37F20; 26A03; 03E75; 54C35

Conceptual proofs of the Menger and Rothberger games

Authors: Piotr Szewczak, Boaz Tsaban

Abstract: We provide conceptual proofs of the two most fundamental theorems concerning topological games and open covers: Hurewicz's Theorem concerning the Menger game, and Pawlikowski's Theorem concerning the Rothberger game. We provide conceptual proofs of the two most fundamental theorems concerning topological games and open covers: Hurewicz's Theorem concerning the Menger game, and Pawlikowski's Theorem concerning the Rothberger game. △ Less

Submitted 4 April, 2019; originally announced April 2019.

Comments: Submitted for publication

Products of Luzin-type sets with combinatorial properties

Authors: Piotr Szewczak, Grzegorz Wiśniewski

Abstract: We construct Luzin-type subsets of the real line in all finite powers Rothberger, with a non-Menger product. To this end, we use a purely combinatorial approach which allows to weaken assumptions used earlier to construct sets with analogous properties. Our assumptions hold, e.g., in the Random model, where already known category theoretic methods fail. We construct Luzin-type subsets of the real line in all finite powers Rothberger, with a non-Menger product. To this end, we use a purely combinatorial approach which allows to weaken assumptions used earlier to construct sets with analogous properties. Our assumptions hold, e.g., in the Random model, where already known category theoretic methods fail. △ Less

Submitted 12 March, 2019; originally announced March 2019.

Comments: 17 pages

MSC Class: 54D20; 03E17

Finite powers and products of Menger sets

Authors: Piotr Szewczak, Boaz Tsaban, Lyubomyr Zdomskyy

Abstract: We construct, using mild combinatorial hypotheses, a real Menger set that is not Scheepers, and two real sets that are Menger in all finite powers, with a non-Menger product. By a forcing-theoretic argument, we show that the same holds in the Blass--Shelah model for arbitrary values of the ultrafilter and dominating number. We construct, using mild combinatorial hypotheses, a real Menger set that is not Scheepers, and two real sets that are Menger in all finite powers, with a non-Menger product. By a forcing-theoretic argument, we show that the same holds in the Blass--Shelah model for arbitrary values of the ultrafilter and dominating number. △ Less

Submitted 7 April, 2020; v1 submitted 7 March, 2019; originally announced March 2019.

Comments: 14 pages

MSC Class: 54D20; 03E17

The Haar Measure Problem

Authors: Adam J. Przeździecki, Piotr Szewczak, Boaz Tsaban

Abstract: An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable, consequence of the Continuum Hypothesis. We also establish the dual, Baire category analogue of this result. An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable, consequence of the Continuum Hypothesis. We also establish the dual, Baire category analogue of this result. △ Less

Submitted 11 May, 2018; v1 submitted 7 September, 2017; originally announced September 2017.

Comments: To appear in Proceedings of the AMS

A classification of the cofinal structures of precompacta

Authors: Aviv Eshed, M. Vincenta Ferrer, Salvador Hernández, Piotr Szewczak, Boaz Tsaban

Abstract: We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups $\C(X,\bbR)$ of continuous real-valued functions on complete metric spaces $X$, with respect to the compact… ▽ More We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups $\C(X,\bbR)$ of continuous real-valued functions on complete metric spaces $X$, with respect to the compact-open topology. △ Less

Submitted 2 January, 2017; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: Major revision. Streamlined proofs. Final version, submitted for publication

Products of general Menger spaces

Authors: Piotr Szewczak, Boaz Tsaban

Abstract: We study products of general topological spaces with Menger's covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology. Among other results, we prove that, assuming \CH{}, every productively Lindelöf space is productively Menger, and every productively Menger space is productive… ▽ More We study products of general topological spaces with Menger's covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology. Among other results, we prove that, assuming \CH{}, every productively Lindelöf space is productively Menger, and every productively Menger space is productively Hurewicz. None of these implications is reversible. △ Less

Submitted 2 January, 2017; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: Final version. Submitted for publication

Products of Menger spaces: a combinatorial approach

Authors: Piotr Szewczak, Boaz Tsaban

Abstract: We construct Menger subsets of the real line whose product is not Menger in the plane. In contrast to earlier constructions, our approach is purely combinatorial. The set theoretic hypothesis used in our construction is far milder than earlier ones, and holds in all but the most exotic models of real set theory. On the other hand, we establish productive properties for versions of Menger's propert… ▽ More We construct Menger subsets of the real line whose product is not Menger in the plane. In contrast to earlier constructions, our approach is purely combinatorial. The set theoretic hypothesis used in our construction is far milder than earlier ones, and holds in all but the most exotic models of real set theory. On the other hand, we establish productive properties for versions of Menger's property parameterized by filters and semifilters. In particular, the Continuum Hypothesis implies that every productively Menger set of real numbers is productively Hurewicz, and each ultrafilter version of Menger's property is strictly between Menger's and Hurewicz's classic properties. We include a number of open problems emerging from this study. △ Less

Submitted 18 May, 2016; v1 submitted 10 March, 2016; originally announced March 2016.

Comments: Minor revision

Journal ref: Annals of Pure and Applied Logic 168 (2017), pp. 1-18