Talks

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

 

  • Indeterminación y elección, Plenary Talk, XVII Colombian Mathematical Congress, Cali, August 3-6, 2009.
  • A dichotomy theorem in canonical models of {\sf AD}^+, and an application to Scheeppers’s countable-finite game, Logic/Set Theory Seminar, University of California, Irvine, June 1, 2009.
  • Scheepers’s countable-finite game in models of determinacy, Contributed Talk, XVIII BEST conference, Boise State University, March 27, 2009.  See also the companion talk, A dichotomy theorem for models of {\sf AD}^+, by Richard Ketchersid.
  • Intersecting families and definability, Mathematics Colloquium, Boise State University, September 19, 2008.
  • Regressive functions on pairs, Claremont Colleges Algebra/Number Theory/Combinatorics Seminar, Pomona College, Claremont, May 9, 2008.
  • The extent of squares under {\sf MRP}, Invited talk, ASL 2008 Annual Meeting, University of California, Irvine, March 29, 2008.
  • Some results in finite combinatorics, Logic Colloquium, University of California, Berkeley, November 2, 2007.
  • Regressive functions on pairs, Logic Colloquium, University of California, Los Angeles, October 19, 2007.
  • Combinatoria finita y lógica, Invited talk, III Jornada conjuntística, Universidad Nacional, Bogotá, Colombia, August 22, 2007.
  • Admissible determinacy, Plenary talk, XVI BEST conference, Idaho City, Idaho, March 25 and 26, 2007.
  • Elementary embeddings into the universe, Contributed talk, Caltech-UCLA logic seminar, November 28, 2006.
  • Point set topology and determinacy, Invited talk, Mathematics colloquium, Boise State University, Idaho, November 16, 2006.
  • Elementary embeddings into the universe, Invited talk, Set theory seminar, Boise State University, Idaho, November 15, 2006.
  • Cardinal preserving elementary embeddings, Plenary talk, XIII SLALM, Oaxaca, México, August 9, 2006.
  • Some consequences of the P-ideal dichotomy, Contributed talk, Caltech-UCLA logic seminar, April 14, 2006.
  • {\sf PFA} and a covering property that implies {\sf SCH}, Invited talk, Set theory seminar, Fields Institute, Toronto, Canada, March 27, 2006.
  • Covering consequences of the proper forcing axiom, Invited talk, UC Irvine-UCLA set theory seminar, March 18, 2006.
  • Strong forcing axioms and inner models, Invited talk, MAMLS meeting in honor of Menachem Magidor 60-th birthday, University of California, Irvine, February 4, 2006.
  • Recent developments in the theory of the proper forcing axiom, Contributed talk, Caltech-UCLA logic seminar, October, November 2005.
  • Preserving sequences of stationary subsets of \omega_1, Invited talk,
    Université Paris 7-Denis Diderot, Paris, France, April 21, 2005.
  • Projective well-orderings of the reals, Invited ASL address, Joint Mathematics Meetings, Atlanta, January 8, 2005.
  • Projective well-orderings and bounded forcing axioms, Logic Colloquium, University of California, Los Angeles, December 10, 2004.
  • Cardinales Grandes y la Teoría de Primer Orden de los Reales, Graduate Seminar, Universidad de los Andes, Bogotá, Colombia, February 12, 2004.
  • Real-valued measurable cardinals and \Sigma^2_1-well-orderings of the reals, Centre de Recerca Matemàtica, Bellaterra, Spain, December 18, 2003.
  • Real-valued measurable cardinals and definable well-orderings of the reals, Logic Colloquium, Institut für Mathematische Logik und Grundlagenforschung of the University of Münster, Germany, December 5, 2003.
  • Forcing Axioms and Inner Models of {\sf GCH}, Greater Boston Logic Conference, Massachusetts Institute of Technology, Cambridge, May 18, 2003.
  • Well-orderings of the reals, Mathematical Logic Seminar, Carnegie Mellon University, Pittsburgh, November 13, 2002.