Items where Author is "Aspero, David"
![[up]](/style/images/multi_up.png)
Up a levelIn Press
Asperó, David and Golshani, Mohammad (2025) The proper forcing axiom for $\aleph_1$-sized posets, $\omega_1$-linked symmetrically proper forcing, and the size of the continuum. Journal of Mathematical Logic. ISSN 0219-0613 (In Press)
Aspero, David and Schindler, Ralf (2025) The continuum problem: Hilbert’s first problem revisited. In: Proceedings of the 9th European Congress of Mathematics - 15th-19th July, 2024. UNSPECIFIED. (In Press)
Published
Asperó, David and Tananimit, Nutt (2025) Consistent and inconsistent generalizations of Martin's Axiom, weak square, and weak Chang's Conjecture. Journal of Mathematical Logic (jml), 25 (03). ISSN 0219-0613
Asperó, David and Mota, Miguel Angel (2024) Few new reals. Journal of Mathematical Logic (jml), 24 (02). ISSN 0219-0613
Asperó, David and Schindler, Ralf (2023) Wieviele reelle Zahlen gibt es? Mathematische Semesterberichte, 70. pp. 1-15. ISSN 0720-728X
Asperó, David and Viale, Matteo (2022) Incompatible bounded category forcing axioms. Journal of Mathematical Logic, 22 (2). ISSN 0219-0613
Aspero, David and Schindler, Ralf (2021) Martin's Maximum++ implies Woodin's axiom (*). Annals of Mathematics, 193 (3). pp. 793-835. ISSN 0003-486X
Aspero, David and Karagila, Asaf (2020) Dependent choice, properness, and generic absoluteness. The Review of Symbolic Logic, 14 (1). 225–249. ISSN 1755-0203
Aspero, David, Hyttinen, Tapani, Kulikov, Vadim and Moreno, Miguel (2019) Reducibility of equivalence relations arising from non-stationary ideals under large cardinal assumptions. Notre Dame Journal for Formal Logic, 60 (4). pp. 665-682.
Aspero, David (2018) A forcing notion collapsing \aleph_3 and preserving all other cardinals. Journal of Symbolic Logic, 83 (4). pp. 1579-1594. ISSN 0022-4812
Asperó, David and Tsaprounis, Konstantinos (2018) Long reals. Journal of Logic and Analysis, 10 (1). pp. 1-36. ISSN 1759-9008
Asperó, David (2017) Adding many Baumgartner clubs. Archive for Mathematical Logic, 56 (7-8). pp. 797-810. ISSN 0933-5846
Asperó, David and Mota, Miguel Angel (2017) Measuring club-sequences together with the continuum large. Journal of Symbolic Logic, 82 (3). pp. 1066-1079. ISSN 0022-4812
Aspero, David and Mota, Miguel Angel (2016) Separating club-guessing principles in the presence of fat forcing axioms. Annals of Pure and Applied Logic, 167 (3). 284–308. ISSN 0168-0072
Aspero, David and Mota, Miguel Angel (2015) Forcing consequences of PFA together with the continuum large. Transactions of the American Mathematical Society, 367 (9). pp. 6103-6129. ISSN 0002-9947
Aspero, David and Mota, Miguel Angel (2015) A generalization of Martin's Axiom. Israel Journal of Mathematics, 210 (1). pp. 193-231. ISSN 0021-2172
Aspero, David, Holy, Peter and Luecke, Philipp (2015) Forcing lightface definable well-orders without the CGH. Annals of Pure and Applied Logic, 166 (5). 553–582. ISSN 0168-0072
Aspero, David (2014) The consistency of a club-guessing failure at the successor of a regular cardinal. In: Infinity, computability, and metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. College Publications, London, pp. 5-27. ISBN 1848901305
Asperó, David and Schindler, Ralf (2014) Bounded Martin’s Maximum with an Asterisk. Notre Dame Journal of Formal Logic, 55 (3). pp. 333-348.
Asperó, David, Friedman, Sy-David, Mota, Miguel Angel and Sabok, Marcin (2013) Baumgartner's conjecture and bounded forcing axioms. Annals of Pure and Applied Logic, 164 (12). pp. 1178-1186. ISSN 0168-0072
Aspero, David, Larson, Paul and Moore, Justin Tatch (2013) Forcing axioms and the continuum hypothesis. Acta Mathematica, 210 (1). pp. 1-29. ISSN 0001-5962
Aspero, David (2013) Relative Definability. RIMS Kokyuroku Bessatsu Lecture Notes. ISSN 1881-6193
Aspero, D. and Friedman, S.-D. (2012) Definable well-orders of H(U2) and GCH. Journal of Symbolic Logic, 77 (4). pp. 1101-1121. ISSN 0022-4812
Asperó, David, Krueger, John and Yoshinobu, Yasuo (2009) Dense non-reflection for stationary collections of countable sets. Annals of Pure and Applied Logic, 161 (1). pp. 94-108. ISSN 0168-0072
Asperó, D. (2009) Forcing notions in inner models. Archive for Mathematical Logic, 48 (7). pp. 643-651. ISSN 0933-5846
Asperó, D. (2009) On a convenient property about [γ]. Archive for Mathematical Logic, 48 (7). pp. 653-677. ISSN 0933-5846
Asperó, D. and Friedman, S.-D. (2009) Large cardinals and locally defined well-orders of the universe. Annals of Pure and Applied Logic, 157 (1). pp. 1-15. ISSN 0168-0072
Aspero, David (2008) Coding into \(H(\omega_2)\) together (or not) with forcing axioms. A survey. In: >Computational prospects of infinity. World Scientific Publishing, Singapore, pp. 23-46. ISBN 978-981-279-654-7
Asperó, D. (2007) Guessing and non-guessing of canonical functions. Annals of Pure and Applied Logic, 146 (2-3). pp. 150-179. ISSN 0168-0072
Asperó, D. (2006) Coding by club-sequences. Annals of Pure and Applied Logic, 142 (1-3). pp. 98-114. ISSN 0168-0072
Aspero, David (2006) Generic absoluteness for \(\Sigma_1\) formulas and the continuum problem. In: Logic Colloquium '02. Association for Symbolic Logic, pp. 1-27. ISBN 1568813007
Asperó, David (2005) The nonexistence of robust codes for subsets of ω1. Fundamenta Mathematicae, 186 (3). pp. 215-231. ISSN 0016-2736
Aspero, David (2005) Bounded forcing axioms and the size of the continuum. In: Logic Colloquium 2000. A. K. Peters, pp. 211-227. ISBN 1568812523
Asperó, D. (2003) On simple partitions of [κ]. Fundamenta Mathematicae, 177 (2). pp. 139-149. ISSN 0016-2736
Asperó, David and Welch, Philip D. (2002) Bounded Martin's Maximum, Weak ErdoS cardinals, and ψ. Journal of Symbolic Logic, 67 (3). pp. 1141-1152. ISSN 0022-4812
Asperó, D. (2002) A maximal bounded forcing axiom. Journal of Symbolic Logic, 67 (1). pp. 130-142. ISSN 0022-4812
Asperó, David and Bagaria, Joan (2001) Bounded forcing axioms and the continuum. Annals of Pure and Applied Logic, 109 (3). pp. 179-203. ISSN 0168-0072