Southern Wisconsin Logic Colloquium
Tamvana Makuluni, UW
Event Details
Date
Tuesday, December 8, 2015
Time
4 p.m.
Location
901 Van Vleck Hall
Description
Interpreting Second-order Arithmetic in the poset of groups under embeddability
Cost
Free
Contact