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

Alejandro Poveda

Alejandro Poveda contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LO

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
1topics
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

5 published item(s)

preprint2026arXiv

The directedness of the Rudin-Keisler order at measurable cardinals

The manuscript is concerned with the Rudin-Keisler order of ultrafilters on measurable cardinals. The main theorem proved read as follows: Given regular cardinals $λ\leq κ$, the following theories are equiconsistent modulo ZFC: (1) $κ$ is a measurable cardinal with $o(κ)=λ^+$ (resp. $o(κ)=κ$). (2) The Rudin-Keisler order restricted to the set of $κ$-complete (non-principal) ultrafilters on $κ$ is $λ^+$-directed (resp. $κ^+$-directed). The theorem reported here is proved after bridging the directedness of the RK-order with the $λ$-Gluing Property introduced by the authors in \cite{HP}. Our result provides what seems to be the first example of a compactness-type property at the level of measurable cardinals whose consistency strength is much lower than the existence of a strong cardinal. As part of our analysis we also answer a question of Gitik by showing that the $\aleph_0$-Gluing Property fails in his classical model from ''Changing cofinalities and the nonstationary ideal". As a consequence of this, in Gitik's model the Rudin-Keisler order fails to be $\aleph_1$-directed.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sigma-Prikry forcing II: Iteration Scheme

In Part I of this series, we introduced a class of notions of forcing which we call Sigma-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are Sigma-Prikry. We showed that given a Sigma-Prikry poset P and a P-name for a non-reflecting stationary set T, there exists a corresponding Sigma-Prikry poset that projects to P and kills the stationarity of T. In this paper, we develop a general scheme for iterating Sigma-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Sigma-Prikry forcing I: The Axioms

We introduce a class of notions of forcing which we call $Σ$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality are $Σ$-Prikry. We show that given a $Σ$-Prikry poset $\mathbb P$ and a name for a non-reflecting stationary set $T$, there exists a corresponding $Σ$-Prikry poset that projects to $\mathbb P$ and kills the stationarity of $T$. Then, in a sequel to this paper, we develop an iteration scheme for $Σ$-Prikry posets. Putting the two works together, we obtain a proof of the following. Theorem. If $κ$ is the limit of a countable increasing sequence of supercompact cardinals, then there exists a cofinality-preserving forcing extension in which $κ$ remains a strong limit, every finite collection of stationary subsets of $κ^+$ reflects simultaneously, and $2^κ=κ^{++}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The tree property at first and double successors of singular cardinals with an arbitrary gap

Let $\mathrm{cof}(μ)=μ$ and $κ$ be a supercompact cardinal with $μ<κ$. Assume that there is an increasing and continuous sequence of cardinals $\langleκ_ξ\mid ξ<μ\rangle$ with $κ_0:=κ$ and such that, for each $ξ<μ$, $κ_{ξ+1}$ is supercompact. Besides, assume that $λ$ is a weakly compact cardinal with $\sup_{ξ<μ}κ_ξ<λ$. Let $Θ\geqλ$ be a cardinal with $\mathrm{cof}(Θ)>κ$. Assuming the $\mathrm{GCH}_{\geqκ}$, we construct a generic extension where $κ$ is strong limit, $\mathrm{cof}(κ)=μ$, $2^κ= Θ$ and both $\mathrm{TP}(κ^+)$ and $\mathrm{TP}(κ^{++})$ hold. Further, in this model there is a very good and a bad scale at $κ$. This generalizes the main results of [Sin16a] and [FHS18].

0 citations0 reviewsNo code linkedOpen access