Alejandro Poveda

dblp:262/4876 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2023 More on the Preservation of Large Cardinals Under Class Forcing
abstract
Abstract 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 Principle
abstract
Abstract 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