EDBT 2026 Demo / reviewers in the wild / expert
Alejandro Poveda
dblp:262/4876
· DBLP profile ↗
4ranked-venue papers
1as first author
3since 2021 · last 2023
0000-0002-1296-4216ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 1 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | More on the Preservation of Large Cardinals Under Class ForcingabstractAbstract We prove two general results about the preservation of extendible and $C^{(n)}$ -extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vopěnka’s Principle and $C^{(n)}$ -extendible cardinals under Jensen’s iteration for forcing the GCH [17], previously obtained in [8, 27], respectively. We prove that $C^{(n)}$ -extendible cardinals are preserved by forcing with standard Easton-support iterations for any possible $\Delta _2$ -definable behaviour of the power-set function on regular cardinals. We show that one can force proper class-many disagreements between the universe and HOD with respect to the calculation of successors of regular cardinals, while preserving $C^{(n)}$ -extendible cardinals. We also show, assuming the GCH, that the class forcing iteration of Cummings–Foreman–Magidor for forcing $\diamondsuit _{\kappa ^+}^+$ at every $\kappa $ [10] preserves $C^{(n)}$ -extendible cardinals. We give an optimal result on the consistency of weak square principles and $C^{(n)}$ -extendible cardinals. In the last section prove another preservation result for $C^{(n)}$ -extendible cardinals under very general (not necessarily definable or weakly homogeneous) class forcing iterations. As applications we prove the consistency of $C^{(n)}$ -extendible cardinals with $\mathrm {{V}}=\mathrm {{HOD}}$ , and also with $\mathrm {GA}$ (the Ground Axiom) plus $\mathrm {V}\neq \mathrm {HOD}$ , the latter being a strengthening of a result from [14]. Joan Bagaria, Alejandro Poveda |
J. Symb. Log. | 2 |
| 2022 | Identity Crisis between supercompactness and VǒPenka's PrincipleabstractAbstract In this paper we study the notion of $C^{(n)}$ -supercompactness introduced by Bagaria in [3] and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least $C^{(1)}$ -supercompact but also that the least supercompact is $C^{(1)}$ -supercompact (and even $C^{(n)}$ -supercompact). Furthermore, we prove that under suitable hypothesis the ultimate identity crises is also possible. These results solve several questions posed by Bagaria and Tsaprounis. Yair Hayut, Menachem Magidor, Alejandro Poveda |
J. Symb. Log. | 3 |
| 2021 | The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps
Mohammad Golshani, Alejandro Poveda |
Ann. Pure Appl. Log. | 2 |
| 2020 | The tree property at first and double successors of singular cardinals with an arbitrary gap
Alejandro Poveda |
Ann. Pure Appl. Log. | 1 |