Notes and papers

239-A Mathematics/Geosciences building
Department of Mathematics
Boise State University

1910 University Drive
Boise, ID 83725-1555
e-mail : caicedo (at) math (dot) boisestate (dot) edu

Research Interests

  • Set theory, especially Forcing Axioms, Determinacy, Large Cardinals, Fine structure theory, Infinitary combinatorics.
  • Combinatorics, especially its interactions with mathematical logic.

Some of the entries below are based upon work supported by the National Science Foundation under grant DMS-0801189. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Contents: Books, Papers, ReviewsNotes.



  • Simply definable well-orderings of the reals, Dissertation, UC Berkeley, 2003 (Advisors: John Steel, Hugh Woodin). MR2705176 (Wisest to ignore Chapter 4.)
  • 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).


Notes (typically not intended for publication)

13 Responses to Notes and papers

  1. [...] accepted for publication in the Proceedings of the Logic Coloquium 2007.  You can find it in my papers [...]

  2. [...] of Goodstein’s function and issues related to independence in can be found in the old page for my undecidability course in [...]

  3. [...] and definability I have made some changes to my webpage and now my papers can be found here, on a page in this [...]

  4. [...] Algebra/Number Theory/Combinatorics Seminar on the topic of this paper, which can be found in my papers [...]

  5. [...] is based on two recent papers of mine that can be found on my papers page: Regressive functions on pairs, that has been submitted to the European Journal of [...]

  6. [...] theorem in natural models of  to the Proceedings of BEST. The preprint is available at my papers page. In the paper we provide references and background for the results we discuss, so here I will [...]

  7. [...] functions on pairs (For background, see my paper Regressive functions on pairs, in my papers [...]

  8. [...] BPFA and projective well-orderings of the reals By andrescaicedo Sy Friedman and I recently submitted the paper and projective well-orderings of the reals to The Journal of Symbolic Logic. The preprint is available at my papers page. [...]

  9. [...] the second part of a paper I mentioned here a while ago. The preprint is available at my papers [...]

  10. [...] mice and universality of local core models to the Journal of Symbolic Logic, downloadable from my papers page. We have also uploaded it on the ArXiV, and I’ll add a link once it goes live. (I should [...]

  11. [...] have posted a short note with the proof on my papers page. The note is hastily written, and I would [...]

  12. [...] principles in extensions to the Israel Journal of Mathematics. The paper can be downloaded form my papers page, or from the arXiv (I will add a link once it goes [...]

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


Get every new post delivered to your Inbox.

Join 44 other followers

%d bloggers like this: