Barnabas Farkas | Searcharxiv

arXiv2018

Ways of Destruction

We study the following natural strong variant of destroying Borel ideals: $\mathbb{P}$ $\textit{$+$-destroys}$ $\mathcal{I}$ if $\mathbb{P}$ adds an $\mathcal{I}$-positive set which has finite intersection with every $A\in\mathcal{I}\cap V$. Also, we discuss the associated variants \begin{align*} \mathrm{non}^*(\mathcal{I},+)=&\min\big\{|\mathcal{Y}|:\mathcal{Y}\subseteq\mathcal{I}^+,\; \forall\;A\in\mathcal{I}\;\exists\;Y\in\mathcal{Y}\;|A\cap Y|<ω\big\}\\ \mathrm{cov}^*(\mathcal{I},+)=&\min\big\{|\mathcal{C}|:\mathcal{C}\subseteq\mathcal{I},\; \forall\;Y\in\mathcal{I}^+\;\exists\;C\in\mathcal{C}\;|Y\cap C|=ω\big\} \end{align*} of the star-uniformity and the star-covering numbers of these ideals. Among other results, (1) we give a simple combinatorial characterisation when a real forcing $\mathbb{P}_I$ can $+$-destroy a Borel ideal $\mathcal{J}$; (2) we discuss many classical examples of Borel ideals, their $+$-destructibility, and cardinal invariants; (3) we show that the Mathias-Prikry, $\mathbb{M}(\mathcal{I}^*)$-generic real $+$-destroys $\mathcal{I}$ iff $\mathbb{M}(\mathcal{I}^*)$ $+$-destroys $\mathcal{I}$ iff $\mathcal{I}$ can be $+$-destroyed iff $\mathrm{cov}^*(\mathcal{I},+)>ω$; (4) we characterise when the Laver-Prikry, $\mathbb{L}(\mathcal{I}^*)$-generic real $+$-destroys $\mathcal{I}$, and in the case of P-ideals, when exactly $\mathbb{L}(\mathcal{I}^*)$ $+$-destroys $\mathcal{I}$; (5) we briefly discuss an even stronger form of destroying ideals closely related to the additivity of the null ideal.

math.LO↗

arXiv2014

Representations of ideals in Polish groups and in Banach spaces

We investigate ideals of the form $\{A \subseteq ω\colon \sum_{n\in A} x_n$ is unconditionally convergent $\}$, where $(x_n)_{n\inω}$ is a sequence in a Polish group or in a Banach space. If an ideal on $ω$ can be seen in this form for some sequence in $X$, then we say that it is representable in $X$. After numerous examples we show the following theorems: (1) An ideal is representable in a Polish Abelian group iff it is an analytic P-ideal. (2) An ideal is representable in a Banach space iff it is a non-pathological analytic P-ideal. We focus on the family of ideals representable in $c_0$. We prove that the trace of the null ideal, Farah's ideal, and Tsirelson ideals are not representable in $c_0$, and that a tall $F_σ$ P-ideal is representable in $c_0$ iff it is a summable ideal. Also, we provide an example of a peculiar ideal which is representable in $\ell_1$ but not in $\mathbb{R}$. Finally, we summarize some open problems of this topic.

math.LO↗