Graduate Logic Seminar: Difference between revisions
No edit summary |
No edit summary |
||
| (95 intermediate revisions by 7 users not shown) | |||
| Line 1: | Line 1: | ||
The Graduate Logic Seminar is an informal space where graduate | 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 | * '''When:''' Mondays 3:30-4:30 PM | ||
* '''Where:''' | * '''Where:''' Van Vleck B223 | ||
* '''Organizers:''' [https:// | * '''Organizers:''' [https://uriandrews.netlify.app/ Uri Andrews] and [https://sites.google.com/view/hongyu-zhu/ 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. | 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 | 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 | == Fall 2023 == | ||
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]. | |||
While you are welcome (and encouraged) to present on a topic of your own choice, there is also a "suggested reading" so that you can also read and present on a (small) section of it. | |||
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. --> | |||
=== September | === September 11 - Organizational Meeting === | ||
We will meet to assign speakers to dates. | |||
==Previous Years== | <!-- Template | ||
=== '''September 18 - Karthik Ravishankar''' === | |||
'''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. | |||
--> | |||
== 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]]. | ||
Revision as of 22:07, 29 May 2023
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: Uri Andrews 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
Fall 2023
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 Uri Andrews and Hongyu Zhu.
While you are welcome (and encouraged) to present on a topic of your own choice, there is also a "suggested reading" so that you can also read and present on a (small) section of it.
Suggested reading:
September 11 - Organizational Meeting
We will meet to assign speakers to dates.
Previous Years
The schedule of talks from past semesters can be found here.