November 2017

# Marcin Michalski: Bernstein, Luzin and Sierpiński meet trees

22/11/17 10:49

Tuesday, November 28, 2017 17:15

Let us introduce a following notion. Let \(\mathbb{X}\) be a set of trees.

Definition. We call a set \(B\) a \(\mathbb{X}\)-Bernstein set, if for each \(X\in\mathbb{X}\) we have \([X]\cap B\neq\emptyset\).

We shall explore this notion for various set of trees, including Sacks, Miller and Laver trees, with the support of technics developed in [1].

[1] Brendle J., Strolling through paradise, Fundamenta Mathematicae, 148 (1995), pp. 1-25.

[2] Michalski M., Żeberski Sz., Some properties of I-Luzin, Topology and its Applications, 189 (2015), pp. 122-135.

*Room:*D1-215*Marcin Michalski*

Speaker:Speaker:

*Title*: Bernstein, Luzin and Sierpiński meet trees*Abstract*. In [2] we have proven that if \(\mathfrak{c}\) is a regular cardinal number, then the algebraic sum of a generalized Luzin set and a generalized Sierpiński set belongs to Marczewski ideal \(s_0\). We will generalize this result for other tree ideals - \(m_0\) and \(l_0\) - using some lemmas on special kind of fusion sequences for trees of respective type.Let us introduce a following notion. Let \(\mathbb{X}\) be a set of trees.

Definition. We call a set \(B\) a \(\mathbb{X}\)-Bernstein set, if for each \(X\in\mathbb{X}\) we have \([X]\cap B\neq\emptyset\).

We shall explore this notion for various set of trees, including Sacks, Miller and Laver trees, with the support of technics developed in [1].

[1] Brendle J., Strolling through paradise, Fundamenta Mathematicae, 148 (1995), pp. 1-25.

[2] Michalski M., Żeberski Sz., Some properties of I-Luzin, Topology and its Applications, 189 (2015), pp. 122-135.

# Sakae Fuchino: Downward Löwenheim-Skolem Theorems in stationary logic

19/11/17 22:01

Tuesday, November 21, 2017 17:15

*Room:*D1-215*Sakae Fuchino*

Speaker:Speaker:

*Title*: Downward Löwenheim-Skolem Theorems in stationary logic# Tomasz Natkaniec: Perfectly everywhere surjective but not Jones functions

09/11/17 23:38

Tuesday, November 14, 2017 17:15

M. Fenoy-Munoz, J.L. Gamez-Merino, G.A. Munoz-Fernandez and E. Saez-Maestro in the paper

Answering this question we show that the class \(\mathrm{PES}\setminus\mathrm{J}\) is \(\mathfrak{c}^+\)-lineable. Moreover, if

\(2^{<\mathfrak{c}}=\mathfrak{c}\) then \(\mathrm{PES}\setminus\mathrm{J}\) is \(2^\mathfrak{c}\)-lineable. We prove also that the additivity number

\(A(\mathrm{PES}\setminus\mathrm{J})\) is between \(\omega_1\) and \(\mathfrak{c}\). Thus \(A(\mathrm{PES}\setminus\mathrm{J})=\mathfrak{c}\) under CH,

however this equality can't be proved in ZFC, because the Covering Property Axiom CPA implies \(A(\mathrm{PES}\setminus\mathrm{J})=\omega_1<\mathfrak{c}\).

The talk is based on the joint paper:

K.C.Ciesielski, J.L. Gamez-Merino, T. Natkaniec, and J.B.Seoane-Sepulveda,

*Room:*D1-215*Tomasz Natkaniec*

Speaker:Speaker:

*Title*: Perfectly everywhere surjective but not Jones functions*Abstract*. Given a function \(f:\mathbb{R}\to\mathbb{R}\) we say that- \(f\) is
*perfectly surjective*(\(f\in \mathrm{PES}\)) if \(f[P]=\mathbb{R}\) for every perfect set \(P\); - \(f\) is a
*Jones function*(\(f\in\mathrm{J}\)) if \(C\cap f\neq\emptyset\) for every closed \(C\subset\mathbb{R}^2\) with \(\mathrm{dom}(C)\) of size \(\mathfrak{c}\).

M. Fenoy-Munoz, J.L. Gamez-Merino, G.A. Munoz-Fernandez and E. Saez-Maestro in the paper

*A hierarchy in the family of real surjective functions*[Open Math. 15 (2017), 486--501] asked about the lineability of the set \(\mathrm{PES}\setminus\mathrm{J}\).Answering this question we show that the class \(\mathrm{PES}\setminus\mathrm{J}\) is \(\mathfrak{c}^+\)-lineable. Moreover, if

\(2^{<\mathfrak{c}}=\mathfrak{c}\) then \(\mathrm{PES}\setminus\mathrm{J}\) is \(2^\mathfrak{c}\)-lineable. We prove also that the additivity number

\(A(\mathrm{PES}\setminus\mathrm{J})\) is between \(\omega_1\) and \(\mathfrak{c}\). Thus \(A(\mathrm{PES}\setminus\mathrm{J})=\mathfrak{c}\) under CH,

however this equality can't be proved in ZFC, because the Covering Property Axiom CPA implies \(A(\mathrm{PES}\setminus\mathrm{J})=\omega_1<\mathfrak{c}\).

The talk is based on the joint paper:

K.C.Ciesielski, J.L. Gamez-Merino, T. Natkaniec, and J.B.Seoane-Sepulveda,

*On functions that are almost continuous and perfectly everywhere surjective but not Jones. Lineability and additivity*, submitted.# Barnabas Farkas: Cardinal invariants versus towers in analytic P-ideals / An application of matrix iteration

06/11/17 21:20

Tuesday, November 7, 2017 17:15

Model1 of \(\mathrm{non}^*(\mathcal{I})=\mathfrak{c}\), there is a tower in \(\mathcal{I}\), and \(\mathrm{add}^*(\mathcal{I})<\mathrm{cov}^*(\mathcal{I})\). Method: Small filter iteration.

Model2 of \(\mathrm{non}^*(\mathcal{I})<\mathfrak{c}\), there is a tower in \(\mathcal{I}\), and \(\mathrm{add}^*(\mathcal{I})<\mathrm{cov}^*(\mathcal{I})\). Method: Matrix iteration.

This is a joint work with J. Brendle and J. Verner.

*Room:*D1-215*Barnabas Farkas (TU Wien)*

Speaker:Speaker:

*Title*: Cardinal invariants versus towers in analytic P-ideals / An application of matrix iteration*Abstract*. I will present two models concerning interactions between the existence of towers in analytic P-ideals and their cardinal invariants. It is trivial to see that if there is no tower in \(\mathcal{I}\), then \(\mathrm{add}^*(\mathcal{I})<\mathrm{cov}^*(\mathcal{I})\). I will prove that this implication cannot be reversed no matter the value of \(\mathrm{non}^*(\mathcal{I})\). More precisely, let \(\mathcal{I}\) be an arbitrary tall analytic P-ideal, I will construct the following two models:Model1 of \(\mathrm{non}^*(\mathcal{I})=\mathfrak{c}\), there is a tower in \(\mathcal{I}\), and \(\mathrm{add}^*(\mathcal{I})<\mathrm{cov}^*(\mathcal{I})\). Method: Small filter iteration.

Model2 of \(\mathrm{non}^*(\mathcal{I})<\mathfrak{c}\), there is a tower in \(\mathcal{I}\), and \(\mathrm{add}^*(\mathcal{I})<\mathrm{cov}^*(\mathcal{I})\). Method: Matrix iteration.

This is a joint work with J. Brendle and J. Verner.