VLDB 2026 Research / reviewers in the wild / expert
Salvador García Ferreira
dblp:25/7988
· DBLP profile ↗
2ranked-venue papers
2as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | More on FRéChet-Urysohn idealsabstractAbstract 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. Salvador García Ferreira, Osvaldo Guzmán González |
J. Symb. Log. | 1 |
| 2003 | Ordering MAD families a la KatetovabstractAbstract An ordering (≤K) on maximal almost disjoint (MAD) families closely related to destructibility of MAD families by forcing is introduced and studied. It is shown that the order has antichains of size c and decreasing chains of length c+ bellow every element. Assuming t = c a MAD family equivalent to all of its restrictions is constructed. It is also shown here that the Continuum Hypothesis implies that for every ωω-bounding forcing ℙ of size c there is a Cohen-destructible, ℙ-indestructible MAD family. Finally, two other orderings on MAD families are suggested and an old construction of Mrówka is revisited. Salvador García Ferreira, Michael Hrusák |
J. Symb. Log. | 1 |