Notes and papers
239-A Mathematics/Geosciences building
Department of Mathematics
Boise State University
1910 University Drive
Boise, ID 83725-1555
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, 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
and projective well-orderings of the reals, with Sy Friedman. In preparation.
- Multiple board determinacy, with Fred Galvin, Richard Ketchersid, and Marion Scheepers. In preparation.
- Defining small sets from
-cc families of subsets. II: Families of countable sets, with John Clemens, Clinton Conley, and Benjamin Miller. In preparation.
- Defining small sets from
- A trichotomy theorem in natural models of
, with Richard Ketchersid, submitted to the Proceedings of Boise Extravaganza in Set Theory.
- Regressive functions on pairs, to appear in the European Journal of Combinatorics.
- Cardinal preserving elementary embeddings, to appear in Logic Colloquium 2007, Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan, eds., Lecture Notes in Logic, ASL.
- 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 [...]
October 15, 2008 at 1:58 pm |
[...] 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 [...]
June 30, 2009 at 11:54 am |
[...] 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 [...]
August 31, 2009 at 1:38 pm |
[...] functions on pairs (For background, see my paper Regressive functions on pairs, in my papers [...]