Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Joan Bagaria"'
Autor:
Joan Bagaria
Publikováno v:
Arbor: Ciencia, Pensamiento y Cultura, Vol 189, Iss 764, Pp a079-a079 (2013)
Alan Turing es conocido sobre todo por sus contribuciones a las ciencias de la computación y a la criptografía, pero el impacto de su trabajo en la teoría general de las funciones computables (teoría de la recursión) y en los fundamentos de la m
Externí odkaz:
https://doaj.org/article/9e10b11740194b9ba23806bba7ee69ad
Autor:
Joan, Bagaria, Alejandro, Poveda
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\v{e}nka's Principle an
Externí odkaz:
http://arxiv.org/abs/1810.09195
Autor:
Joan Bagaria, Trevor Wilson
Publikováno v:
The Journal of Symbolic Logic. 88:145-168
We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( $\mathrm {WVP}$ ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf12766f8294f9ed8377a906b029965b
https://doi.org/10.1017/jsl.2022.42
https://doi.org/10.1017/jsl.2022.42
Autor:
Joan Bagaria, Alejandro Poveda
Publikováno v:
The Journal of Symbolic Logic. 88:290-323
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 an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::217b10f16e0cce5a04e2d62b5eba69a6
https://doi.org/10.1017/jsl.2021.73
https://doi.org/10.1017/jsl.2021.73
Autor:
Claudio Ternullo, Joan Bagaria
Publikováno v:
The Review of Symbolic Logic. :1-25
We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending $\mathsf {ZFC}$ by using his multiverse axioms $\mathsf {MV}$ and the ‘core hypothesis’. In the first part, we examine the evidentia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7da6e3c5b20e9852c62abcee36ac9873
https://doi.org/10.1017/s1755020321000447
https://doi.org/10.1017/s1755020321000447
Autor:
Joan Bagaria, Samuel G. da Silva
Publikováno v:
Topology and its Applications. 323:108276
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a7fbdb0cb19300fa6536174a813d995
https://doi.org/10.1016/j.topol.2022.108276
https://doi.org/10.1016/j.topol.2022.108276
Autor:
Joan Bagaria
After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. Lévy et. al. in the 1960s, we introduce new principles of reflection based on the general notion of Structural Reflection and argue that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14ba5169d5e299b50ac65204e8c2a7a9
http://arxiv.org/abs/2107.01580
http://arxiv.org/abs/2107.01580
Publikováno v:
The Bulletin of Symbolic Logic. 25:283-318
The HOD Dichotomy Theorem states that if there is an extendible cardinal, δ, then either HOD is “close” to V (in the sense that it correctly computes successors of singular cardinals greater than δ) or HOD is “far” from V (in the sense that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af528d3046f5b250e494b10b5b02b155
https://doi.org/10.1017/bsl.2019.28
https://doi.org/10.1017/bsl.2019.28
Autor:
Joan Bagaria, Philipp Lücke
Publikováno v:
Annals of Pure and Applied Logic
We study Structural Reflection beyond Vop\v{e}nka's Principle, at the level of almost-huge cardinals and higher, up to rank-into-rank embeddings. We identify and classify new large cardinal notions in that region that correspond to some form of what
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8feedfd65b3a4d0408cef12c5a283639
Autor:
Joan Bagaria
Publikováno v:
Transactions of the American Mathematical Society. 371:1981-2002
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1aa7a62393028c7f9f57f7fa661344d4
https://doi.org/10.1090/tran/7366
https://doi.org/10.1090/tran/7366