Showing 1–21 of 21 results for author: Zeberski, S

On algebraic sums, trees and ideals in the Baire space

Authors: Łukasz Mazurkiewicz, Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: We work in the Baire space $\mathbb{Z}^ω$ equipped with the coordinate-wise addition $+$. Consider a $σ-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for every $A\in \mathcal{I}$ and a tree $T\in\mathbb{T}$ there exists $T'\in \mathbb{T}, T'\subseteq T$ such that… ▽ More We work in the Baire space $\mathbb{Z}^ω$ equipped with the coordinate-wise addition $+$. Consider a $σ-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for every $A\in \mathcal{I}$ and a tree $T\in\mathbb{T}$ there exists $T'\in \mathbb{T}, T'\subseteq T$ such that $A+\underbrace{[T']+[T']+\dots +[T']}_{\text{n--times}}\in \mathcal{I}$ for each $n\inω$. Explored tree types include perfect trees, uniformly perfect trees, Miller trees, Laver trees and $ω-$Silver trees. The latter kind of trees is an analogue of Silver trees from the Cantor space. Besides the standard $σ$-ideal $\mathcal{M}$ of meager sets, we also analyze $\mathcal{M}_-$ and fake null sets $\mathcal{N}$. The latter two are born out of the characterizations of their respective analogues in the Cantor space. The key ingredient in proofs were combinatorial characterizations of these ideals in the Baire space. △ Less

Submitted 26 September, 2024; originally announced September 2024.

MSC Class: Primary: 03E75; 28A05; 54H05; Secondary: 03E17

On algebraic sums, trees and ideals in the Cantor space

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: We work in the Cantor space $2^ω$. The results of the paper adhere the following pattern. Let $\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\}$ and $T$ be a perfect, uniformly perfect or Silver tree. Then for every $A\in \mathcal{I}$ there exists $T'\subseteq T$ of the same kind as $T$ such that… ▽ More We work in the Cantor space $2^ω$. The results of the paper adhere the following pattern. Let $\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\}$ and $T$ be a perfect, uniformly perfect or Silver tree. Then for every $A\in \mathcal{I}$ there exists $T'\subseteq T$ of the same kind as $T$ such that $A+\underbrace{[T']+[T']+\dots +[T']}_{\text{n--times}}\in \mathcal{I}$ for each $n\inω$. We also prove weaker statements for splitting trees. For the case $\mathcal{E}$ we also provide a simple characterization of basis of $\mathcal{E}$. We use these results to prove that the algebraic sum of a generalized Luzin set and a generalized Sierpiński set belongs to $u_0$ and $v_0$, provided that $\mathfrak{c}$ is a regular cardinal. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: Primary: 03E75; 28A05; Secondary: 03E05; 54H05

Ideal Analytic sets

Authors: Łukasz Mazurkiewicz, Szymon Żeberski

Abstract: The aim of this paper is to give natural examples of $\mathbfΣ_1^1$-complete and $\mathbfΠ_1^1$-complete sets. In the first part, we consider ideals on $ω$. In particular, we show that the Hindman ideal $\mathcal{H}$ is $\mathbfΠ_1^1$-complete and consider a number of ideals generated in the similar fashion. Moreover, we show that the ideal $\mathcal{D}$ is also $\mathbfΠ_1^1$-complete. In the… ▽ More The aim of this paper is to give natural examples of $\mathbfΣ_1^1$-complete and $\mathbfΠ_1^1$-complete sets. In the first part, we consider ideals on $ω$. In particular, we show that the Hindman ideal $\mathcal{H}$ is $\mathbfΠ_1^1$-complete and consider a number of ideals generated in the similar fashion. Moreover, we show that the ideal $\mathcal{D}$ is also $\mathbfΠ_1^1$-complete. In the second part, we focus on families of trees (on $ω$ and $2$) containing a specific tree type. We show the connection between two topics and explore some classical tree types (like Sacks and Miller). △ Less

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

Comments: 12 pages

MSC Class: 03E75; 28A05; 54H05 (Primary); 03E17 (Secondary)

Around Eggleston Theorem

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: The motivation of this work are the two classical theorems on inscribing rectangles and squares into large subsets of the plane, namely Eggleston Theorem and Mycielski Theorem. Using Shoenfield Absoluteness Theorem we prove that for every Borel subset of the plane with uncountably many positive (with respect to measure or category) vertical section contains a rectangle $P\times B$ where $P$ is p… ▽ More The motivation of this work are the two classical theorems on inscribing rectangles and squares into large subsets of the plane, namely Eggleston Theorem and Mycielski Theorem. Using Shoenfield Absoluteness Theorem we prove that for every Borel subset of the plane with uncountably many positive (with respect to measure or category) vertical section contains a rectangle $P\times B$ where $P$ is perfect and $B$ is Borel and positive. We also obtained a variant of Eggleston Theorem regarding the $σ$-ideal $\mathcal(E)$ generated by closed sets of measure zero. Furthermore we proved that every comeager (resp. conull) subset of the plane contains a rectangle $[T]\times H$, where $T$ is a Spinas tree containing a Silver tree and $H$ is comeager (resp. conull). Moreover we obtained a common generalization of Eggleston Theorem and Mycielski Theorem stating that every comeager (resp. conull) subset of the plane contains a rectangle $[T]\times H$ modulo diagonal, where $T$ is a uniformly perfect tree, $H$ is comeager (resp. conull) and $[T]\subseteq H$. △ Less

Submitted 1 March, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

MSC Class: Primary: 03E75; 28A05; 54H05; Secondary: 03E17

Sequences with increasing subsequence

Authors: Łukasz Mazurkiewicz, Szymon Żeberski

Abstract: We study analytic and Borel subsets defined similarily to the old example of analytic complete set given by Luzin. Luzin's example, which is essentially a subset of the Baire space, is based on the natural partial order on naturals, i.e. division. It consists of sequences which contain increasing subsequence in given order. We consider a variety of sets defined in a similar way. Some of them occur… ▽ More We study analytic and Borel subsets defined similarily to the old example of analytic complete set given by Luzin. Luzin's example, which is essentially a subset of the Baire space, is based on the natural partial order on naturals, i.e. division. It consists of sequences which contain increasing subsequence in given order. We consider a variety of sets defined in a similar way. Some of them occurs to be Borel subsets of the Baire space, while others are analytic complete, hence not Borel. In particular, we show that an analogon of Luzin example based on the natural linear order on rationals is analytic complete. We also characterise all countable linear orders having such property. △ Less

Submitted 18 May, 2023; originally announced May 2023.

MSC Class: 03E75; 28A05; 54H05 (Primary); 03E17 (Secondary)

Ideals with Smital properties

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: A $σ$-ideal $\mathcal{I}$ on a Polish group $(X,+)$ has Smital Property if for every dense set $D$ and a Borel $\mathcal{I}$-positive set $B$ the algebraic sum $D+B$ is a complement of a set from $\mathcal{I}$. We consider several variants of this property and study their connections with countable chain condition, maximality and how well they are preserved via Fubini products. A $σ$-ideal $\mathcal{I}$ on a Polish group $(X,+)$ has Smital Property if for every dense set $D$ and a Borel $\mathcal{I}$-positive set $B$ the algebraic sum $D+B$ is a complement of a set from $\mathcal{I}$. We consider several variants of this property and study their connections with countable chain condition, maximality and how well they are preserved via Fubini products. △ Less

Submitted 10 December, 2021; v1 submitted 5 February, 2021; originally announced February 2021.

MSC Class: Primary: 03E75; 28A05; Secondary: 03E17; 54H05

The Set-Cover game and nonmeasurable unions

Authors: Taras Banakh, Robert Rałowski, Szymon Żeberski

Abstract: Using a game-theoretic approach we present a generalization of the classical result of Brzuchowski, Cichoń, Grzegorek and Ryll-Nardzewski on non-measurable unions. We also present applications of obtained results to Marczewski--Burstin representable ideals, as well as to establishing some countability and continuity properties of measurable functions and homomorphisms between topological groups. Using a game-theoretic approach we present a generalization of the classical result of Brzuchowski, Cichoń, Grzegorek and Ryll-Nardzewski on non-measurable unions. We also present applications of obtained results to Marczewski--Burstin representable ideals, as well as to establishing some countability and continuity properties of measurable functions and homomorphisms between topological groups. △ Less

Submitted 11 June, 2022; v1 submitted 23 November, 2020; originally announced November 2020.

Mycielski among trees

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup Δ$. We consider generalizations of this theorem by replacing a perfect square with a rectangle $A\times B$, where $A$ and $B$ are bodies of other types of trees with $A\subseteq B$. In particular… ▽ More Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup Δ$. We consider generalizations of this theorem by replacing a perfect square with a rectangle $A\times B$, where $A$ and $B$ are bodies of other types of trees with $A\subseteq B$. In particular, we show that for every comeager $G_δ$ set $G\subseteq ω^ω\times ω^ω$ there exist a Miller tree $M$ and a uniformly perfect tree $P\subseteq M$ such that $[P]\times [M]\subseteq G\cupΔ$ and that $P$ cannot be a Miller tree. In the case of measure we show that for every subset $F$ of $2^ω\times 2^ω$ of full measure there exists a uniformly perfect tree $P\subseteq 2^{<ω}$ such that $[P]\times[P]\subseteq F\cupΔ$ and no side of such a rectangle can be a body of a Silver tree or a Miller tree. We also show some properties of forcing extensions of the real line from which we derive nonstandard proofs of Mycielski-like theorems via Shoenfield Absoluteness Theorem. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Nonmeasurable sets and unions with respect to tree ideals

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: In this paper we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$, $m_0$, $l_0$, and $cl_0$. We show that there exists a subset $A$ of the Baire space $ω^ω$ which is $s$-, $l$-, and $m$-nonmeasurable, that forms dominating m.e.d. family. We introduce and investigate a notion of $\mathbb{T}$-Bernstein sets - sets that intersect but does not conta… ▽ More In this paper we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$, $m_0$, $l_0$, and $cl_0$. We show that there exists a subset $A$ of the Baire space $ω^ω$ which is $s$-, $l$-, and $m$-nonmeasurable, that forms dominating m.e.d. family. We introduce and investigate a notion of $\mathbb{T}$-Bernstein sets - sets that intersect but does not containt any body of a tree from a given family of trees $\mathbb{T}$. We also acquire some results on $\mathcal{I}$-Luzin sets, namely we prove that there are no $m_0$-, $l_0$-, and $cl_0$-Luzin sets and that if $\mathfrak{c}$ is a regular cardinal, then the algebraic sum (considered on the real line $\mathbb{R}$) of a generalized Luzin set and a generalized Sierpiński set belongs to $s_0, m_0$, $l_0$ and $cl_0$. △ Less

Submitted 14 December, 2017; originally announced December 2017.

MSC Class: 03E17; 03E50; 03E75

Journal ref: Bull. symb. log 26 (2020) 1-14

Nonmeasurable sets and unions with respect to selected ideals especially ideals defined by trees

Authors: Robert Ralowski, Szymon Zeberski

Abstract: In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees. With the mentioned ideals one can consider s, l and m-measurablility. We have shown that there exists a subset A of the Baire space which is s, l and m nonmea… ▽ More In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees. With the mentioned ideals one can consider s, l and m-measurablility. We have shown that there exists a subset A of the Baire space which is s, l and m nonmeasurable at the same time. Moreover, A forms m.a.d. family which is also dominating. We show some examples of subsets of the Baire space which are measurable in one sense and nonmeasurable in the other meaning. We also examine terms nonmeasurable and completely nonmeasurable (with respect to several ideals with Borel base). There are several papers about finding (completely) nonmeasurable sets which are the union of some family of small sets. In this paper we want to focus on the following problem: "Let P be a family of small sets. Is it possible that for all A which is a subset of P, union of A is nonmeasurable implies that union of A is completely nonmeasurable?" We will consider situations when P is a partition of R, P is point-finite family and P is point-countable family. We give an equivalent statement to CH using terms nonmeasurable and completely nonmeasurable. △ Less

Submitted 9 July, 2015; originally announced July 2015.

Comments: 13 pages

MSC Class: Primary: 03E17; 03E50; 03E75; Secondary: 28A99

Some properties of $\mathcal{I}$-Luzin sets

Authors: Marcin Michalski, Szymon Żeberski

Abstract: In this paper we consider a notion of $\mathcal{I}$-Luzin set which generalizes the classical notion of Luzin set and Sierpi{ń}ski set on Euclidean spaces. We show that there is a translation invariant $σ$-ideal $\mathcal{I}$ with Borel base for which $\mathcal{I}$-Luzin set can be $\mathcal{I}$-measurable. If we additionally assume that $\mathcal{I}$ has Smital property (or its weaker version) th… ▽ More In this paper we consider a notion of $\mathcal{I}$-Luzin set which generalizes the classical notion of Luzin set and Sierpi{ń}ski set on Euclidean spaces. We show that there is a translation invariant $σ$-ideal $\mathcal{I}$ with Borel base for which $\mathcal{I}$-Luzin set can be $\mathcal{I}$-measurable. If we additionally assume that $\mathcal{I}$ has Smital property (or its weaker version) then $\mathcal{I}$-Luzin sets are $\mathcal{I}$-nonmeasurable. We give some constructions of $\mathcal{I}$-Luzin sets involving additive structure of $\mathbb{R}^n$. Moreover, we show that if $L$ is a Luzin set and $S$ is a Sierpi{ń}ski set then the complex sum $L+S$ cannot be a Bernstein set. △ Less

Submitted 26 January, 2015; v1 submitted 20 January, 2015; originally announced January 2015.

Comments: This paper has been withdrawn by the author. Please see the latest version at arXiv:1406.3062

MSC Class: Primary 03E50; 28A05; Secondary 03E17; 03E35; 03E75

Classifying invariant $σ$-ideals with analytic base on good Cantor measure spaces

Authors: Taras Banakh, Robert Ralowski, Szymon Zeberski

Abstract: Let $X$ be a zero-dimensional compact metrizable space endowed with a strictly positive continuous Borel $σ$-additive measure $μ$ which is good in the sense that for any clopen subsets $U,V\subset X$ with $μ(U)<μ(V)$ there is a clopen set $W\subset V$ with $μ(W)=μ(U)$. We study $σ$-ideals with Borel base on $X$ which are invariant under the action of the group $H_μ(X)$ of measure-preserving homeom… ▽ More Let $X$ be a zero-dimensional compact metrizable space endowed with a strictly positive continuous Borel $σ$-additive measure $μ$ which is good in the sense that for any clopen subsets $U,V\subset X$ with $μ(U)<μ(V)$ there is a clopen set $W\subset V$ with $μ(W)=μ(U)$. We study $σ$-ideals with Borel base on $X$ which are invariant under the action of the group $H_μ(X)$ of measure-preserving homeomorphisms of $(X,μ)$, and show that any such $σ$-ideal $\mathcal I$ is equal to one of seven $σ$-ideals: $\{\emptyset\}$, $[X]^{\leω}$, $\mathcal E$, $\mathcal M\cap\mathcal N$, $\mathcal M$, $\mathcal N$, or $[X]^{\le \mathfrak c}$. Here $[X]^{\leκ}$ is the ideal consisting of subsets of cardiality $\leκ$ in $X$, $\mathcal M$ is the ideal of meager subsets of $X$, $\mathcal N=\{A\subset X:μ(A)=0\}$ is the ideal of null subsets of $(X,μ)$, and $\mathcal E$ is the $σ$-ideal generated by closed null subsets of $(X,μ)$. △ Less

Submitted 13 September, 2014; originally announced September 2014.

Comments: 10 pages

MSC Class: 03E15; 28A05; 28D05; 54H05

Journal ref: Proc. Amer. Math. Soc. 144:2 (2016) 837-851

Group actions on Polish spaces

Authors: Robert Rałowski, Szymon Żeberski

Abstract: In this paper we investigate the action of Polish groups (not necessary abelian) on an uncountable Polish spaces. We consider two main situations. First, when the orbits given by group action are small and the second when the family of orbits are at most countable. We have found some subgroups which are not measurable with respect to a given $σ$-ideals on the group and the action on some subsets g… ▽ More In this paper we investigate the action of Polish groups (not necessary abelian) on an uncountable Polish spaces. We consider two main situations. First, when the orbits given by group action are small and the second when the family of orbits are at most countable. We have found some subgroups which are not measurable with respect to a given $σ$-ideals on the group and the action on some subsets gives a completely nonmeasurable sets with respect to some $σ$-ideals with a Borel base on the Polish space. In most cases the general results are consistent with ZFC theory and are strictly connected with cardinal coefficients. We give some suitable examples, namely the subgroup of isometries of the Cantor space where the orbits are sufficiently small. In the opposite case we give an example of the group of the homeomorphisms of a Polish space in which there is a large orbit and we have found the subgroup without Baire property and a subset of the mentioned space such that the action of this subgroup on this set is completely nonmeasurable set with respect to the $σ$-ideal of the subsets of first category. △ Less

Submitted 9 December, 2022; v1 submitted 11 June, 2014; originally announced June 2014.

Comments: 10 pages

MSC Class: 03E35; 03E75

Luzin and Sierpiński sets, some nonmeasurable subsets of the plane and additive properties on the line

Authors: Marcin Michalski, Szymon Żeberski

Abstract: In this paper we shall introduce some nonmeasurable and completely nonmeasurable subsets of the plane with various additional properties, e.g. being Hamel basis, intersecting each line in a strong Luzin / Sierpiński set. Also some additive properties of Luzin and Sierpiński sets and their generalization I-Luzin sets, on the line are investigated. In this paper we shall introduce some nonmeasurable and completely nonmeasurable subsets of the plane with various additional properties, e.g. being Hamel basis, intersecting each line in a strong Luzin / Sierpiński set. Also some additive properties of Luzin and Sierpiński sets and their generalization I-Luzin sets, on the line are investigated. △ Less

Submitted 22 June, 2014; v1 submitted 11 June, 2014; originally announced June 2014.

Comments: 18 pages

MSC Class: Primary 03E50; 28A05; Secondary 03E17; 03E35; 03E75

Topologically invariant $σ$-ideals on the Hilbert cube

Authors: Taras Banakh, Michal Morayne, Robert Ralowski, Szymon Zeberski

Abstract: We study and classify topologically invariant $σ$-ideals with a Borel base on the Hilbert cube and evaluate their cardinal characteristics. One of the results of this paper solves (positively) a known problem whether the minimal cardinalities of the families of Cantor sets covering the unit interval and the Hilbert cube are the same. We study and classify topologically invariant $σ$-ideals with a Borel base on the Hilbert cube and evaluate their cardinal characteristics. One of the results of this paper solves (positively) a known problem whether the minimal cardinalities of the families of Cantor sets covering the unit interval and the Hilbert cube are the same. △ Less

Submitted 13 September, 2014; v1 submitted 22 February, 2013; originally announced February 2013.

Comments: 14 pages

MSC Class: 03E15; 03E17; 54H05; 55M10; 57N20

Journal ref: Israel J. Math. 209 (2015) 715-743

Topologically invariant σ-ideals on Euclidean spaces

Authors: Taras Banakh, Michał Morayne, Robert Rałowski, Szymon Żeberski

Abstract: We study and classify topologically invariant sigma-ideals with an analytic base on Euclidean spaces and evaluate the cardinal characteristics of such ideals. We study and classify topologically invariant sigma-ideals with an analytic base on Euclidean spaces and evaluate the cardinal characteristics of such ideals. △ Less

Submitted 9 October, 2012; v1 submitted 23 August, 2012; originally announced August 2012.

Comments: 8 pages

MSC Class: 03E17; 03E75; 57N15

Journal ref: Fund. Math. 231 (2015), 101-112

Complete nonmeasurability in regular families

Authors: Robert Ralowski, Szymon Zeberski

Abstract: We show that for a $σ$-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely nonmeasurable i.e. its intersection with every Borel set not in $\ci $ does not belong to the smallest $σ$-algebra containing all Borel sets and $\ci.$ Our results gener… ▽ More We show that for a $σ$-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely nonmeasurable i.e. its intersection with every Borel set not in $\ci $ does not belong to the smallest $σ$-algebra containing all Borel sets and $\ci.$ Our results generalize results from \cite{fourpoles} and \cite{fivepoles}. △ Less

Submitted 6 September, 2010; originally announced September 2010.

Comments: 7 pages

MSC Class: 03E75 (Primary); 03E35 (Secondary); 28A05; 28A99

Journal ref: Houston Journal of Mathematics, 34 (3) (2008), pp. 773-780

Bernstein sets and $κ$-coverings

Authors: J. Kraszewski, R. Ralowski, P. Szczepaniak, S. Zeberski

Abstract: In this paper we study a notion of a $κ$-covering in connection with Bernstein sets and other types of nonmeasurability. Our results correspond to those obtained by Muthuvel and Nowik. We consider also other types of coverings. In this paper we study a notion of a $κ$-covering in connection with Bernstein sets and other types of nonmeasurability. Our results correspond to those obtained by Muthuvel and Nowik. We consider also other types of coverings. △ Less

Submitted 4 September, 2010; originally announced September 2010.

Comments: 12 pages

MSC Class: 03E35 (Primary); 03E75; 28A99 (Secondary)

Completely nonmeasurable unions

Authors: Robert Ralowski, Szymon Zeberski

Abstract: Assume that there is no quasi-measurable cardinal smaller than $2^ω$. ($κ$ is quasi measurable if there exists $κ$-additive ideal $\ci $ of subsets of $κ$ such that the Boolean algebra $P(κ)/\ci$ satisfies c.c.c.) We show that for a c.c.c. $σ$-ideal I with a Borel base of subsets of an uncountable Polish space, if $\cal A$ is a point-finite family of subsets from I then there is an uncountable c… ▽ More Assume that there is no quasi-measurable cardinal smaller than $2^ω$. ($κ$ is quasi measurable if there exists $κ$-additive ideal $\ci $ of subsets of $κ$ such that the Boolean algebra $P(κ)/\ci$ satisfies c.c.c.) We show that for a c.c.c. $σ$-ideal I with a Borel base of subsets of an uncountable Polish space, if $\cal A$ is a point-finite family of subsets from I then there is an uncountable collection of pairwise disjoint subfamilies of $\cal A$ whose union is completely nonmeasurable i.e. its intersection with every non-small Borel set does not belong to the $σ$-field generated by Borel sets and the ideal I. This result is a generalization of Four Poles Theorem. △ Less

Submitted 3 March, 2010; originally announced March 2010.

Comments: 6 pages

MSC Class: 03E35; 03E75; 28A99 (Secondary)

Generalized Luzin sets

Authors: Robert Ralowski, Szymon Zeberski

Abstract: In this paper we invastigate the notion of generalized (I,J) - Luzin set. This notion generalize the standard notion of Luzin set and Sierpinski set. We find set theoretical conditions which imply the existence of generalized (I,J) - Luzin set. We show how to construct large family of pairwise non-equivalent (I,J) - Luzin sets. We find a class of forcings which preserves the property of being (I… ▽ More In this paper we invastigate the notion of generalized (I,J) - Luzin set. This notion generalize the standard notion of Luzin set and Sierpinski set. We find set theoretical conditions which imply the existence of generalized (I,J) - Luzin set. We show how to construct large family of pairwise non-equivalent (I,J) - Luzin sets. We find a class of forcings which preserves the property of being (I,J) - Luzin set. △ Less

Submitted 3 March, 2010; originally announced March 2010.

Comments: 9 pages

MSC Class: 03E20; 03E35

Nonstandard proofs of Eggleston like theorems

Authors: Szymon Zeberski

Abstract: We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where big set means: set of positive Lebesgue measure, set of full Lebesgue measure, Baire measurable set of second Baire category and comeagre set. In the first case… ▽ More We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where big set means: set of positive Lebesgue measure, set of full Lebesgue measure, Baire measurable set of second Baire category and comeagre set. In the first case (set of positive measure) we obtain the theorem due to Eggleston. In fact we give a simplified version of the proof given by J. Cichon. To prove these theorems we use Shoenfield's theorem about absoluteness for $Σ^1_2$-sentences. △ Less

Submitted 10 April, 2002; originally announced April 2002.

Comments: 5 pages

MSC Class: 03E15; 28A05

Journal ref: Proceedings of the Ninth Prague Topological Symposium, (Prague, 2001), pp. 353--357, Topology Atlas, Toronto, 2002