Recent and upcoming talks by Andrés Caicedo

Andrés Caicedo: Co-analytic uniformization

Wednesday, December 10 from 3 to 4pm Room: Math 226 Speaker: Andrés Caicedo (BSU) Title: Co-analytic uniformization Abstract: It is an easy consequence of the axiom of choice that if X is an arbitrary set and R is a binary relation on X (a subset of $X^2$) then R admits a uniformization, that is, there is a function f whose domain is $\{x \in X : \text{there is a } y \in X \text{ with } x R y\}$ and such that for all x in its domain, x R f(x). continue reading…

Andres Caicedo: Ramsely theory of very small countable ordinals II

Wednesday, October 1 from 3 to 4pm Room: Math 226 Speaker: Andrés Caicedo (BSU) Title: Ramsey theory of very small countable ordinals II Abstract: We examine a closed version of the pigeonhole principle for ordinals, and use it to draw upper bounds on closed Ramsey numbers. continue reading…

Andrés Caicedo: Ramsey theory of very small countable ordinals

Wednesday, September 24 from 3 to 4pm Room: Math 226 Speaker: Andrés Caicedo (BSU) Title: Ramsey theory of very small countable ordinals Abstract: We present a brief introduction to classical Ramsey theory, and discuss two extensions in the context of ordinals. continue reading…

Andrés Caicedo: An absoluteness result

Tuesday, February 18 from 2 to 3pm Room: Mathematics 136 Speaker: Andrés Caicedo (BSU) Title: An absoluteness result Abstract: We present examples of some (Ramsey-theoretic) theorems of ZFC (whose standard proofs make blatant use of choice) that can be established in ZF as well. continue reading…

Andrés Caicedo: Second incompleteness

Monday, October 7 from 3 to 4pm Room: Mathematics 136 Speaker: Andrés Caicedo (BSU) Title: Second incompleteness Abstract: We sketch an essentially model theoretic proof (due to Woodin) of the second incompleteness theorem for ZF. continue reading…

Andrés Caicedo: Finitary mathematics

Thursday, February 21 from 1:30 to 2:30pm Room: B-309 Speaker: Andrés Caicedo Title: Finitary mathematics Abstract: $\mathsf{ZF}_{\mathsf{fin}}$ is the standard formalization of finitary mathematics; it replaces the axiom of infinity in $\mathsf{ZF}$ with its negation. continue reading…

Andres Caicedo: Determinacy from large cardinals II

Boise Set Theory Seminar Thursday, February 7 Room: B-309 Speaker: Andrés Caicedo (Boise State) Title: Determinacy from large cardinals: an overview II Abstract: We recall the definition of Woodin cardinals, and explain why they play a key role in proofs of determinacy. continue reading…

Andrés Caicedo: Determinacy from large cardinals

Boise Set Theory Seminar Wednesday, January 30 Room: Math conference and break room Speaker: Andrés Caicedo Title: Determinacy from large cardinals: an overview Abstract: A game is determined when one of the players has a winning strategy. continue reading…

Andres Caicedo: Aurichi’s notion of Selective ccc

Day: Monday, November 5 Time: 10:30 am – 11:45 am Place: MP209 Speaker: Andres Caicedo, Boise State University Title: Aurichi’s notion of Selective ccc Abstract: A topological space is separable iff it has a countable dense subset, the reals being a basic example. continue reading…

15th Latin American Symposium on Mathematical Logic, June 4-8, 2012

http://matematicas.uniandes.edu.co/eventos/SLALM2012/ Bogotá, Colombia, June 4-8, 2012 Plenary Speakers Josep Maria Font (Universitat de Barcelona, España) Deirdre Haskell (McMaster University, Canada) Denis Hirschfeldt (Chicago, USA) Ulrich Kohlenbach (Darmstad, Germany) Benedikt Löwe (ILLC, Netherlands) Antonio Montalbán (Chicago, USA) Justin Moore (Cornell, USA) Daniele Mundici (Florence, Italy) Alf Onshuus (U. continue reading…