BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Osvaldo Guzmán

Osvaldo Guzmán contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.GN

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

4 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access