Short biography
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 Univ. of Barcelona in 2000 I worked as a postdoc at the Institute for formal Logic of the Univ. of Vienna and at the Univ. of Bristol. I have also spent time as invited researcher at various institutions (IVIC Caracas, Univ. of Helsinki, Kobe Univ., Nagoya Univ., Univ. Paris 7, Natl. Univ. of Singapore, Institut Mittag-Leffler, etc.). I was an ICREA Researcher at Univ. of Barcelona from November 2005 until July 2010. Since July 2010 I am an Associate Professor at Natl. Univ. of Colombia (Bogotá, Colombia). Research interests
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 certain 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. Key words
Set theory, large cardinals, forcing