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
  • Ramsey theory, Undergraduate Math Seminar, Boise State University, March 22, 2012.
  • Ramsey theory, Graduate Student Seminar, Boise State University, October 19, 2011.
  • Sets and games, Mathematics Colloquium, Boise State University, September 1, 2011.
  • {\sf MM}^{++} generic absoluteness, Second conference on the core model induction and hod mice, (August 8-19, 2011), Institut für Mathematische Logik, WWU Münster, August 15, 2011.
  • {\mathbb P}_{\rm max} consequences beyond H(\omega_2), Invited talk, Second conference on the core model induction and hod mice, (August 8-19, 2011), Institut für Mathematische Logik, WWU Münster, August 9, 2011.
  • Forcing with {\mathbb P}_{\rm max} over models of determinacy, Minicourse, Université Paris Diderot – Paris 7, July 13 and 20, 2011.
  • Projective well-orderings of the reals and forcing axioms, Invited talk (Special session in set theory), 2011 North American Annual Meeting of the Association for Symbolic Logic (March 24-27, 2011), University of California, Berkeley, March 27, 2011.
  • {\mathcal G}_0-dichotomies for \infty-Borel sets, XI International Workshop on Set Theory (October 4-8, 2010), Centre International de Rencontres Mathématiques, October 7, 2010.
  • Determinacy, Graduate Student Seminar, Boise State University, September 8, 2010.
  • {\sf BPFA} implies that there is a \Delta_1(A)-definable well-ordering of the reals for some A\subset\omega_1, Conference on the core model induction and hod mice (July 19-August 6, 2010), Institut für Mathematische Logik, WWU Münster, August 4, 2010.
  • {\mathcal G}_0-dichotomies, Invited talk, Special session in Set Theory, Logic Colloquium 2010, Université Paris Diderot – Paris 7, July 28, 2010.
  • {\mathcal G}_0-dichotomies, Logic/Set Theory Seminar, University of California, Irvine, June 2, 2010.
  • Downward transference of mice, Contributed Talk, XIX BEST conference, Boise State University, March 27, 2010. See also G_0-dichotomies, by Richard Ketchersid.
  • On successors of {\mathbb R}, Workshop on Set Theory at ISLA 2010, University of Hyderabad, Gachibowli, India, January 29, 2010.
  • Multiboard determinacy, Mathematics Colloquium, Miami University, Oxford, OH, November 20, 2009.
  • 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.
  • Very large finite numbers, Graduate Student Seminar, Boise State University, October 15, 2008.
  • 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.
Follow

Get every new post delivered to your Inbox.