We investigate the Tukey order in the class of Fσ ideals of subsets of ω. We show that no nontrivial Fσ ideal is Tukey below a Gδ ideal of compact sets. We introduce the notions of flat ideals and gradually flat ideals. We prove a dichotomy theorem for flat ideals isolating gradual flatness as the side of the dichotomy that is structurally good. We give diverse characterizations of gradual flatness among flat ideals using Tukey reductions and games. For example, we (...) show that gradually flat ideals are precisely those flat ideals that are Tukey below the ideal of density zero sets. (shrink)

We show that there is a $$ \varvec{\Sigma }_4^0$$ ideal such that it’s neither extendable to any $$ \varvec{\Pi }_3^0$$ ideal nor above the ideal $$ \textrm{Fin}\times \textrm{Fin} $$ in the sense of Katětov order, answering a question from M. Hrušák.

A P-point ultrafilter over \(\omega \) is called an interval P-point if for every function from \(\omega \) to \(\omega \) there exists a set _A_ in this ultrafilter such that the restriction of the function to _A_ is either a constant function or an interval-to-one function. In this paper we prove the following results. (1) Interval P-points are not isomorphism invariant under \(\textsf{CH}\) or \(\textsf{MA}\). (2) We identify a cardinal invariant \(\textbf{non}^{**}({\mathcal {I}}_{\tiny {\hbox {int}}})\) such that every filter base (...) of size less than continuum can be extended to an interval P-point if and only if \(\textbf{non}^{**}({\mathcal {I}}_{\tiny {\hbox {int}}})={\mathfrak {c}}\). (3) We prove the generic existence of slow/rapid non-interval P-points and slow/rapid interval P-points which are neither quasi-selective nor weakly Ramsey under the assumption \({\mathfrak {d}}={\mathfrak {c}}\) or \(\textbf{cov}({\mathcal {B}})={\mathfrak {c}}\). (shrink)

In this paper, we construct group trees of tame Polish groups of the form, where are countable abelian. Our first example where all are torsion reaches the known upper bound. Next we give examples having height for any, close to the known bound.