Talks
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
- 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.
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.
consequences beyond
, 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
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.
-dichotomies for
-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.
implies that there is a
-definable well-ordering of the reals for some
, 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.
-dichotomies, Invited talk, Special session in Set Theory, Logic Colloquium 2010, Université Paris Diderot – Paris 7, July 28, 2010.
-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
-dichotomies, by Richard Ketchersid.
- On successors of
, 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
, 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
, 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
, 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
-ideal dichotomy, Contributed talk, Caltech-UCLA logic seminar, April 14, 2006.
and a covering property that implies
, 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
, 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
-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
, 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.