PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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