Thursday 26th January 4.15-5.45pm in the Graduate Common Room, Faculty of Philosophy Jouko Väänänen (Helsinki), Second order logic, set theory and foundations of mathematics
Abstract: In a metamathematical investigation first order logic and second order logic look very different. The rich model theory of the former is dominated by non-categoricity results going back to Skolem, while the latter is celebrated for its ability to characterize important mathematical structures categorically. I will argue in my talk that the difference is much smaller if first order set theory or second order logic is used foundationally. I will pay special attention to the substance and impact of categoricity results. I will also present some recent results on the model theory of second order logic and will discuss their possible impact. _____________________________________________________ Sent by the CamPhilEvents mailing list. To unsubscribe or change your membership options, please visit the list information page: http://bit.ly/CamPhilEvents Posts are now archived here: http://bit.ly/CamPhilEventsArchive
