Source author record

Osvaldo Guzmán

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GN

Catalog footprint

Research overview

4works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Properties of Laver forcing associated with a co-ideal expressed via the Katetov order

We study variants of classical Laver forcing defined from co-ideals and analyze their combinatorial properties in terms of the Katětov order. In particular, we give a Katětov-theoretic characterization of when Laver forcing associated with a co-ideal adds Cohen reals, and we show that such forcings never add random reals. Improving a result of Błaszczyk and Shelah we prove that the addition of Cohen reals and the Laver property are not equivalent, even in the case of ultrafilters. As an application, we investigate the problem of adding half Cohen reals without adding Cohen reals via tree-like forcings arising from co-ideals. We obtain several partial results and structural obstructions. Finally, we resolve several open questions from the literature concerning the one-to-one or constant property and cardinal invariants associated with ideals.

preprint2025arXiv

The Category Dichotomy for Ideals

We provide a counterexample to the Category Dichotomy in the framework of $\textsf{ZFC}$ . That is, we prove the existence of an ideal on $ω$ that is not Katětov below $\mathsf{nwd}$ and does not have restrictions above $\mathcal{ED}$ . We also prove that in the Laver model every tall $\mathsf{P}$ -ideal is Katětov-Blass above $\mathcal{ED}_{\mathsf{fin}}$ and that it is consistent that every $\mathsf{Q}^{+}$ ideal is meager.

preprint2022arXiv

Combinatorial properties of MAD families

We study some strong combinatorial properties of $\textsf{MAD}$ families. An ideal $\mathcal{I}$ is Shelah-Steprāns if for every set $X\subseteq{\left[ ω\right]}^{<ω}$ there is an element of $\mathcal{I}$ that either intersects every set in $X$ or contains infinitely many members of it. We prove that a Borel ideal is Shelah-Steprāns if and only if it is Katětov above the ideal $\textsf{fin}\times\textsf{fin}$ . We prove that Shelah-Steprāns $\textsf{MAD}$ families have strong indestructibility properties (in particular, they are both Cohen and random indestructible). We also consider some other strong combinatorial properties of $\textsf{MAD}$ families. Finally, it is proved that it is consistent to have $\mathrm{non}(\mathcal{M}) = {\aleph}_{1}$ and no Shelah-Steprāns families of size ${\aleph}_{1}$ .

preprint2020arXiv

Maximal almost disjoint families and pseudocompactness of hyperspaces

We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(ω)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maximal almost disjoint family $\mathcal A$ of size less than $\mathfrak c$ whose hyperspace is not pseudocompact.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.