Graduate Logic Seminar: Difference between revisions

From DEV UW-Math Wiki
Jump to navigation Jump to search
Jgoh (talk | contribs)
Soskova (talk | contribs)
 
(164 intermediate revisions by 8 users not shown)
Line 1: Line 1:
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.
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:''' Tuesdays 4-5 PM
* '''When:''' Mondays 3:30-4:30 PM
* '''Where:''' Van Vleck 901
* '''Where:''' Van Vleck B211
* '''Organizers:''' [https://www.math.wisc.edu/~jgoh/ Jun Le Goh]
* '''Organizer:''' Joseph Miller


The talk schedule is arranged at the beginning of each semester. If you would like to participate, please contact one of the organizers.
The talk schedule is arranged at the beginning of each semester. If you would like to participate, please contact the organizers.


Sign up for the graduate logic seminar mailing list:  join-grad-logic-sem@lists.wisc.edu
<!--Sign up for the graduate logic seminar mailing list:  [mailto:join-grad-logic-sem@lists.wisc.edu join-grad-logic-sem@lists.wisc.edu]-->


== Spring 2022 ==
==Fall 2025==


The graduate logic seminar this semester will be run as MATH 975. Please enroll if you wish to participate.
The seminar will be run as a 1-credit seminar Math 975. In Fall 2025 students will present a logic topic of their choice (it could be original work, but does not have to be).  If you are not enrolled but would like to audit it, please contact [mailto:jmiller@math.wisc.edu Joe Miller].


We plan to cover the first 9 parts of [https://blog.nus.edu.sg/matwong/teach/modelarith/ Tin Lok Wong's notes], as well as a few other relevant topics which are not covered in the notes:
Presentation Schedule: [https://docs.google.com/spreadsheets/d/1uRSaI1edJ5sepz57NV07ohIfBSKL9FgkvJvMAewk1ms/edit?usp=sharing Sign up here.]  
* Properness of the induction/bounding hierarchy (chapter 10 of Models of Peano Arithmetic by Kaye is a good source)
* Tennenbaum's theorem (this is a quick consequence of the main theorem of part 4, so it should be combined with part 4 or part 5)
* Other facts found in chapter 1 of [http://homepages.math.uic.edu/~marker/marker-thesis.pdf David Marker's thesis].


=== January 25 - organizational meeting ===
<!--Zoom link for remote attendance: https://uwmadison.zoom.us/j/96168027763?pwd=bGdvL3lpOGl6QndQcG5RTFUzY3JXQT09 (Meeting ID: 961 6802 7763, Password: 975f23)-->


We will meet to assign speakers to dates.


=== February 1 - Steffen Lempp ===
==='''September 8 - Organizational Meeting'''===


I will give an overview of the topics we will cover:
We will meet to arrange the schedule


1. the base theory PA^- and the induction and bounding axioms for Sigma_n-formulas, and how they relate to each other,
==='''September 15 -'''  ===


2. the equivalence of Sigma_n-induction with a version of Sigma_n-separation (proved by H. Friedman),
==='''September 22 -'''  ===


3. the Grzegorczyk hierarchy of fast-growing functions,
==='''September 29 -'''  ===
==='''October 6 -'''  ===


4. end extensions and cofinal extensions,
=== '''October 13 -''' ===


5. recursive saturation and resplendency,
==='''October 20 -''' ===


6. standard systems and coded types,
=== '''October 27 -''' ===


7. the McDowell-Specker Theorem that every model of PA has a proper elementary end extension, and
=== '''November 3 -''' ===


8. Gaifman's theorem that every model of PA has a minimal elementary end extension.
==='''November 10 -'''  ===


I will sketch the basic definitions and state the main theorems, in a form that one can appreciate without too much
==='''November 17 -'''  ===
background.


== February 8 - Karthik Ravishankar ==
==='''November 24 -'''  ===


Title: Collection axioms
==='''December 1 -'''  ===


We will discuss parts 1 and 2 of Wong's notes.
==='''December 8 -'''  ===


== Previous Years ==
== Previous Years==


The schedule of talks from past semesters can be found [[Graduate Logic Seminar, previous semesters|here]].
The schedule of talks from past semesters can be found [[Graduate Logic Seminar, previous semesters|here]].

Latest revision as of 16:33, 20 August 2025

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 B211
  • Organizer: Joseph Miller

The talk schedule is arranged at the beginning of each semester. If you would like to participate, please contact the organizers.


Fall 2025

The seminar will be run as a 1-credit seminar Math 975. In Fall 2025 students will present a logic topic of their choice (it could be original work, but does not have to be). If you are not enrolled but would like to audit it, please contact Joe Miller.

Presentation Schedule: Sign up here.


September 8 - Organizational Meeting

We will meet to arrange the schedule

September 15 -

September 22 -

September 29 -

October 6 -

October 13 -

October 20 -

October 27 -

November 3 -

November 10 -

November 17 -

November 24 -

December 1 -

December 8 -

Previous Years

The schedule of talks from past semesters can be found here.