No CrossRef data available.
Published online by Cambridge University Press: 10 June 2021
We study the Rudin–Keisler pre-order on Fréchet–Urysohn ideals on
$\omega $
. We solve three open questions posed by S. García-Ferreira and J. E. Rivera-Gómez in the articles [5] and [6] by establishing the following results:
• For every AD family
$\mathcal {A},$
there is an AD family
$\mathcal {B}$
such that
$\mathcal {A}^{\perp } <_{{\textsf {RK}}}\mathcal {B}^{\perp }.$
• If
$\mathcal {A}$
is a nowhere MAD family of size
$\mathfrak {c}$
then there is a nowhere MAD family
$\mathcal {B}$
such that
$\mathcal {I}\left (\mathcal {A}\right ) $
and
$\mathcal {I}\left ( \mathcal {B}\right ) $
are Rudin–Keisler incomparable.
• There is a family
$\left \{ \mathcal {B}_{\alpha }\mid \alpha \in \mathfrak {c}\right \} $
of nowhere MAD families such that if
$\alpha \neq \beta $
, then
$\mathcal {I}\left ( \mathcal {B}_{\alpha }\right ) $
and
$\mathcal {I}\left ( \mathcal {B}_{\beta }\right ) $
are Rudin–Keisler incomparable.
Here
$\mathcal {I}(\mathcal {A})$
denotes the ideal generated by an AD family
$\mathcal {A}$
.
In the context of hyperspaces with the Vietoris topology, for a Fréchet–Urysohn-filter
$\mathcal {F}$
we let
$\mathcal {S}_{c}\left ( \mathcal {\xi }\left ( \mathcal {F}\right ) \right ) $
be the hyperspace of nontrivial convergent sequences of the space consisting of
$\omega $
as discrete subset and only one accumulation point
$\mathcal {F}$
whose neighborhoods are the elements of
$\mathcal {F}$
together with the singleton
$\{\mathcal {F}\}$
. For a FU-filter
$\mathcal {F}$
we show that the following are equivalent:
•
$\mathcal {F}$
is a FUF-filter.
•
$\mathcal {S}_{c}\left ( \mathcal {\xi }\left ( \mathcal {F} \right ) \right ) $
is Baire.