Items where Author is "Aspero, David"

Published

Asperó, David and Mota, Miguel Angel (2024) Few new reals. Journal of Mathematical Logic (jml), 24 (02). ISSN 0219-0613

Asperó, David and Tananimit, Nutt (2024) Consistent and inconsistent generalizations of Martin's Axiom, weak square, and weak Chang's Conjecture. Journal of Mathematical Logic (jml). 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 ORCID: https://orcid.org/0000-0003-1289-0904 (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 Co. Pte Ltd, 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