Osvaldo Guzmán

dblp:349/7153 · DBLP profile ↗
← Back
6ranked-venue papers
3as first author
6since 2021 · last 2026
0009-0004-6944-722XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 6 · 3 first-author · 6 since 2021
YearPublicationVenuePosition
2026 The category dichotomy for ideals
Alan Dow, Raúl Figueroa-Sierra, Osvaldo Guzmán, Michael Hrusák
Ann. Pure Appl. Log.3
2026 Preserving and constructing multiple gaps
Osvaldo Guzmán, Francisco Santiago Nieto-de la Rosa
Ann. Pure Appl. Log.1
2024 HL ideals and Sacks indestructible ultrafilters
abstract
We study ultrafilters on countable sets and reaping families which are indestructible by Sacks forcing. We deal with the combinatorial characterization of such families and we prove that every reaping family of size smaller than the continuum is Sacks indestructible. We prove that complements of many definable ideals are Sacks reaping indestructible, with one notable exception, the complement of the ideal Z of sets of asymptotic density zero. We investigate the existence of Sacks indestructible ultrafilters and prove that every Sacks indestructible ultrafilter is a Z-ultrafilter.
David Chodounský, Osvaldo Guzmán, Michael Hrusák
Ann. Pure Appl. Log.2
2024 Katětov order on MAD families
abstract
Abstract We continue with the study of the Katětov order on MAD families. We prove that Katětov maximal MAD families exist under $\mathfrak {b=c}$ and that there are no Katětov-top MAD families assuming $\mathfrak {s\leq b}.$ This improves previously known results from the literature. We also answer a problem form Arciga, Hrušák, and Martínez regarding Katětov maximal MAD families.
Osvaldo Guzmán
J. Symb. Log.1
2023 Forcing with copies of the Rado and Henson graphs
Osvaldo Guzmán, Stevo Todorcevic
Ann. Pure Appl. Log.1
2023 Partition forcing and Independent families
abstract
Abstract We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {u}=\mathfrak {i}<\mathfrak {a}_T=\omega _2$ . In addition, we show that Shelah’s poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {i}=\omega _1<\mathfrak {u}=\mathfrak {a}_T=\omega _2$ .
Jorge Antonio Cruz Chapital, Vera Fischer, Osvaldo Guzmán, Jaroslav Supina
J. Symb. Log.3