| |
|
|
Asperó Herrando, David
|
|
|
ICREA Researcher at UB (Universitat de Barcelona). Experimental Sciences & Mathematics
|
My work is in set theory, and more specifically in large cardinal theory, the theory of forcing and infinitary combinatorics.
After earning my PhD at the University of Barcelona in 2000 I worked as a postdoc at the Institute for formal Logic of the University of Vienna and at the University of Bristol. I have also spent time as invited researcher at IVIC Caracas, Univ. of Helsinki, Kobe Univ., Nagoya Univ., Univ. Paris 7, Natl. Univ. of Singapore, etc.
|
Research Interest
|
|
|
My research is in set theory. Set theory is the mathematical exploration of the universe of all sets. It provides a stable foundation to virtually all of contemporary mathematics and it is itself a central and deep area of mathematics. Since the early 20th century, its standard axiomatic core has been the first order theory known as ZFC. In its natural interpretation, this theory describes a series of basic properties of the universe of sets. Although widely accepted and fruitful, ZFC leaves many fundamental questions raised within set theory and within other areas of mathematics unsolved. Various extensions of this theory have been proposed, often aimed at capturing more mathematical truth than ZFC does. My work is mostly concerned with the connections between these extensions of ZFC. It deals mostly with the interplay between the following features of set theory: Large cardinals, the forcing method, generic absoluteness, and infinitary combinatorics.
|
| |
KeyWords
|
|
|
Set theory, large cardinals, forcing
|
| |
|