Notes and papers
Pasadena, CA 91125
e-mail : caicedo (at) caltech (dot) edu
Research Interests
- Set theory, especially Forcing, Large Cardinals, Fine structure theory.
- Combinatorics, especially its interactions with mathematical logic.
Contents: Books, Papers, Reviews, Notes.
Books
- Effective descriptive set theory, with Alexander Kechris, book in preparation.
- Properness and reflection principles in set theory, with Boban Velickovic, monograph in preparation.
Papers
- Defining small sets from
-cc families of subsets, with John D. Clemens, Clinton T. Conley, and Benjamin D. Miller, submitted.
- Regressive functions on pairs, submitted.
- Cardinal preserving elementary embeddings, to appear in Proceedings of the Logic Colloquium 2007.
- Goodstein’s function, Revista Colombiana de Matemáticas 41 (2) (2007), 381-391.
- Projective well-orderings of the reals, with Ralf Schindler. Archive for Mathematical Logic 45 (7) (2006), 783-793.
- Real-valued measurable cardinals and well-orderings of the reals, in Set Theory. Centre de Recerca Matemàtica Barcelona, 2003-2004, Joan Bagaria, Stevo Todorcevic, eds., Trends in Mathematics, Birkhäuser (2006), 83-120.
- The bounded proper forcing axiom and well-orderings of the reals, with Boban Velickovic. Mathematical Research Letters 13 (2-3) (2006), 393-408.
- Projective well-orderings and bounded forcing axioms, The Journal of Symbolic Logic 70 (2) (2005), 557-572.
- Exponenciación de cardinales infinitos, Lecturas Matemáticas 19 (2) (1998), 87-125.
- Simply definable well-orderings of the reals, Dissertation, UC Berkeley, 2003 (Advisors: John Steel, Hugh Woodin).
- El problema de los cardinales singulares, Apuntes Matemáticos 37, Departamento de Matemáticas, Universidad de los Andes, Bogotá, 1996 (This is a reprint of my undergraduate dissertation, written under the supervision of Xavier Caicedo).
Reviews
- The determinacy of long games, by Itay Neeman. The Bulletin of Symbolic Logic 12 (2) (2006), 299-302.
Notes
- On Real-valued measurability and Lebesgue measurable sets, October 11, 2005.
- A review of sharps, version of November 2004.
- Is Turing equivalence universal?, version of August 2004.
April 11, 2008 at 4:20 pm
[...] accepted for publication in the Proceedings of the Logic Coloquium 2007. You can find it in my papers [...]
April 11, 2008 at 4:21 pm
[...] of Goodstein’s function and issues related to independence in can be found in the old page for my undecidability course in [...]
April 12, 2008 at 8:29 am
[...] and definability I have made some changes to my webpage and now my papers can be found here, on a page in this [...]
May 19, 2008 at 7:35 pm
[...] Algebra/Number Theory/Combinatorics Seminar on the topic of this paper, which can be found in my papers [...]