For more information about this meeting, contact Jan Reimann, Stephen Simpson, Jason Rute.

Title: | Separation and reduction in second-order arithmetic |

Seminar: | Logic Seminar |

Speaker: | David Belanger, Cornell University |

Abstract: |

A family F of subsets of a set Z has the separation property if for every disjoint pair A,B in F, there is a partition of Z into two sets A_0,B_0 such that A is a subset of A_0, B is a subset of B_0, and A_0,B_0 are both in F. We look at the separation properties for several F, Z pairs, their roles in reverse mathematics, and a few directions these roles suggest for future research. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 01 / 20 / 2015 |

Time: | 02:30pm - 03:45pm |