Showing 1–3 of 3 results for author: Szczepaniak, S

Combinatorial proofs of Gowers' FIN$_k$ and FIN$_k^\pm$ theorem

Authors: Ryszard Frankiewicz, Sławomir Szczepaniak

Abstract: A combinatorial proof of a pigeonhole principle of Gowers is found along with its symmetric and approximate version, FIN$_k^\pm$ theorem. The proofs do not use of the concept of ultrafilter. A combinatorial proof of a pigeonhole principle of Gowers is found along with its symmetric and approximate version, FIN$_k^\pm$ theorem. The proofs do not use of the concept of ultrafilter. △ Less

Submitted 3 October, 2019; v1 submitted 25 February, 2014; originally announced February 2014.

Comments: An error in Lemma 1

Remarks on quotient algebras

Authors: Ryszard Frankiewicz, Sławomir Szczepaniak

Abstract: The structure of quotient Boolean algebras in terms of cardinal invariants is investigated. Some results of Gitik and Shelah regarding atomless ideals are reproved and proofs are significantly simplified. The structure of quotient Boolean algebras in terms of cardinal invariants is investigated. Some results of Gitik and Shelah regarding atomless ideals are reproved and proofs are significantly simplified. △ Less

Submitted 3 April, 2013; v1 submitted 30 September, 2012; originally announced October 2012.

On partitions of Ellentuck-large sets

Authors: Ryszard Frankiewicz, Sławomir Szczepaniak

Abstract: It is proved that no non-meager subspace of the space $[ω]^ω$ equipped with the Ellentuck topology does admit a Kuratowski partition, that is such a subset cannot be covered by a family $\mathfrak{F}$ of disjoint relatively meager sets such that $\bigcup\mathfrak{F}'$ has the Baire property (relatively) for every subfamily $\mathfrak{F}'\subseteq\mathfrak{F}$. It is also shown that the existence o… ▽ More It is proved that no non-meager subspace of the space $[ω]^ω$ equipped with the Ellentuck topology does admit a Kuratowski partition, that is such a subset cannot be covered by a family $\mathfrak{F}$ of disjoint relatively meager sets such that $\bigcup\mathfrak{F}'$ has the Baire property (relatively) for every subfamily $\mathfrak{F}'\subseteq\mathfrak{F}$. It is also shown that the existence of Kuratowski partitions is not a metric problem. Some remarks concerning continuous restrictions of functions with domain in the Ellentuck space are made. △ Less

Submitted 27 March, 2014; v1 submitted 25 June, 2012; originally announced June 2012.