Graduate Logic Seminar: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
No edit summary
 
(111 intermediate revisions by 5 users not shown)
Line 2: Line 2:


* '''When:''' Mondays 3:30-4:30 PM
* '''When:''' Mondays 3:30-4:30 PM
* '''Where:''' Van Vleck B223
* '''Where:''' Van Vleck B211
* '''Organizers:''' [https://uriandrews.netlify.app/ Uri Andrews] and [https://sites.google.com/view/hongyu-zhu/ Hongyu Zhu]
* '''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:  [mailto:join-grad-logic-sem@lists.wisc.edu 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]-->


== Fall 2023 ==
==Fall 2025==


The seminar will be run as a 1-credit seminar Math 975 in Fall 2023. If you are not enrolled but would like to audit it, please contact [mailto:andrews@math.wisc.edu Uri Andrews] and [mailto:hongyu@math.wisc.edu Hongyu Zhu].
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].


While you are welcome (and encouraged) to present on a topic of your own choice, feel free to ask for help from faculties and/or other graduate students.
Presentation Schedule: [https://docs.google.com/spreadsheets/d/1uRSaI1edJ5sepz57NV07ohIfBSKL9FgkvJvMAewk1ms/edit?usp=sharing Sign up here.]


Suggested reading: <!-- Chapters 4-7 of <i>[https://projecteuclid.org/ebooks/lecture-notes-in-logic/Aspects-of-Incompleteness/toc/lnl/1235416274 Aspects of Incompleteness]</i> by Per Lindström. -->
<!--Zoom link for remote attendance: https://uwmadison.zoom.us/j/96168027763?pwd=bGdvL3lpOGl6QndQcG5RTFUzY3JXQT09 (Meeting ID: 961 6802 7763, Password: 975f23)-->


=== September 11 - Organizational Meeting ===


We will meet to assign speakers to dates.
==='''September 8 - Organizational Meeting'''===


<!-- Template
We will meet to arrange the schedule


=== '''September 18 - Karthik Ravishankar''' ===
==='''September 15 -''' ===
'''Title:''' Lowness for Isomorphism ([https://wiki.math.wisc.edu/images/Karthik_talk.pdf Slides])


'''Abstract:''' A Turing degree is said to be low for isomorphism if it can only compute an isomorphism between computable structures only when a computable isomorphism already exists. In this talk, we show that the measure of the class of low for isomorphism sets in Cantor space is 0 and that no Martin Lof random is low for isomorphism.
==='''September 22 -''' ===


-->
==='''September 29 -'''  ===
==='''October 6 -'''  ===


=== '''October 13 -''' ===


== Previous Years ==
==='''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 [[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.