|
David Asperó i Herrando
|
SCIENTIFIC INTERESTS: Set theory, and more specifically large cardinals and generic absoluteness, forcing, forcing axioms and combinatorics.
|
CV
DavidAspero_CV
PUBLICATIONS
-
Forcing consequences of PFA together with the continuum large.
With Miguel Angel Mota.
- Definable well-orders of H(omega_2) and CH.
(with Sy-D. Friedman)
- Dense non-reflection for stationary collections of countable sets.
With John Krueger and Yasuo Yoshinobu
- Guessing and non-guessing of canonical functions
, Annals of Pure and Applied Logic, vol. 146 (2007), 150-179.
-
Coding by club-sequences
,
Annals of Pure and Applied Logic, vol. 142 (2006), 98-114.
-
The nonexistence of robust codes for subsets of
w1
, Fundamenta Mathematicae, vol. 186 (2005), 215-231.
- On simple partitions of [k]k, Fundamenta Mathematicae, vol. 177 (2003), 139-149.
- Bounded Martin's Maximum, weak Erdös cardinals, and
yAC, with Philip D. Welch. The Journal of Symbolic Logic,
vol. 67 (2002), 1141-1152.
- Bounded forcing axioms and the size of the
continuum, in Logic Colloquium 2000, Lecture Notes in Logic, vol.
19, Association for Symbolic Logic, Wellesley, Massachusetts, 2005, 211-227.
- Generic absoluteness for \Sigma_1 formulas and the continuum problem, in Logic Colloquium
2002, Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, Wellesley, Massachusetts, 2006, 1-27.
- Coding into H(w2), together (or not) with forcing
axioms. A survey
,
To appear in Proceedings of the IMS workshop
Computational prospects of infinity, (Singapore).
- A maximal bounded forcing axiom, The Journal of Symbolic Logic, vol. 67 (2002), 130-142.
- Bounded forcing axioms and the continuum, with Joan
Bagaria. Annals of Pure and Applied Logic, vol. 109 (2001), 179-203.
- Bounded forcing axioms and the continuum, Ph.D. thesis, Universitat de Barcelona, 2000.
OTHER PAPERS ON-LINE
|
|