Graduate Logic Seminar: Difference between revisions
| Line 24: | Line 24: | ||
=== '''February 5 - Taeyoung Em''' === | === '''February 5 - Taeyoung Em''' === | ||
'''Title:''' | '''Title:''' Introduction to forcing | ||
'''Abstract:''' | '''Abstract:''' We introduce new definitions and properties regarding forcing. | ||
Revision as of 03:02, 1 February 2024
The Graduate Logic Seminar is an informal space where graduate students and professors present topics related to logic which are not necessarily original or completed work. This is a space focused principally on practicing presentation skills or learning materials that are not usually presented in a class.
- When: Mondays 3:30-4:30 PM
- Where: Van Vleck B223
- Organizers: Steffen Lempp and Hongyu Zhu
The talk schedule is arranged at the beginning of each semester. If you would like to participate, please contact one of the organizers.
Sign up for the graduate logic seminar mailing list: join-grad-logic-sem@lists.wisc.edu
Spring 2024
The seminar will be run as a 1-credit seminar Math 975 . In Spring 2024, the topic will be forcing constructions in computability theory. If you are not enrolled but would like to audit it, please contact Steffen Lempp and Hongyu Zhu.
Presentation Schedule: https://docs.google.com/spreadsheets/d/1JC6glG_soNLtaMQWaAuADlUu8dh2eJ0NL-MaUr7-nOk/edit?usp=sharing
Zoom link for remote attendance: https://uwmadison.zoom.us/j/96168027763?pwd=bGdvL3lpOGl6QndQcG5RTFUzY3JXQT09 (Meeting ID: 961 6802 7763, Password: 975f23)
January 29 - Organizational Meeting
Steffen Lempp will give an overview and present some very basic forcing construction.
We will then assign speakers to dates and topics.
February 5 - Taeyoung Em
Title: Introduction to forcing
Abstract: We introduce new definitions and properties regarding forcing.
Previous Years
The schedule of talks from past semesters can be found here.