Graduate Logic Seminar: Difference between revisions

From DEV UW-Math Wiki
Jump to navigation Jump to search
VisualWikitext
 
(171 intermediate revisions by 9 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:''' Mondays 4p-5p
* '''When:''' Mondays 3:30-4:30 PM
* '''Where:''' on line (ask for code).
* '''Where:''' Van Vleck B123
* '''Organizers:''' [https://www.math.wisc.edu/~jgoh/ Jun Le Goh]
* '''Organizer:''' Mariya Soskova


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]


== Fall 2020 - Tentative schedule ==
== Fall 2024 ==


=== September 14 - Josiah Jacobsen-Grocott ===
The seminar will be run as a 1-credit seminar Math 975 . In Fall 2024, the topic will be Higher Computability Theory. We will follow notes by Noam Greenberg. If you are not enrolled but would like to audit it, please contact [mailto:soskova@wisc.edu Mariya Soskova].


Title: Degrees of points in topological spaces
Presentation Schedule: [https://docs.google.com/spreadsheets/d/1ect-dgHdoHOgq4-5BGFiDh6pPThLfDg69Yg__-b_5RY/edit?usp=sharing Sign up here.]


Abstract: An overview of some results from Takayuki Kihara, Keng Meng Ng, and Arno Pauly in their paper Enumeration Degrees and Non-Metrizable Topology. We will look at a range of topological spaces and the corresponding classes in the enumeration degrees as well as ways in which we can distinguish the type of classes using the separation axioms.
Notes: [https://uwmadison.box.com/s/j3xftdj1i70d4lblxhzswhg9e25ajcpq Download the notes here.] You will need your UW-login. Please, do not distribute these notes without permission from the author.  


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


Title: The Semilattice of Definable Sets in Continuous Logic
=== '''September 9 - Organizational Meeting''' ===


Abstract: After an analysis-free exposition of definable sets in continuous logic, we will present a fun, illustrated proof that any finite bounded lattice can be the poset of definable subsets of $S_1(T)$ for a continuous theory $T$.
Mariya Soskova will start with the first sections from the notes.


=== October 5 ===
We will then assign speakers to dates and topics.


Short talk by Tejas Bhojraj at '''3:30PM'''
=== '''September 16 -  Sections 1.2-1.4''' ===


Title: A Levin-Schnorr type result for Weak Solovay random states.
Kanav Madhura will continue with Sections 1.2-1.4.  


Abstract: We look at the initial-segment complexity of Weak Solovay quantum random states using MK, a prefix-free version of quantum Kolmogorov complexity. The statement of our result is similar to the Levin-Schnorr theorem in classical algorithmic randomness.
=== '''September 23 - Sections 1.3-1.4 and 2.1-2.2''' ===


Another short talk slot available
Kanav Madhura will continue with Sections 1.3-1.4. Lucas Duckworth will be ready with Sections 2.1 and 2.2 should there be time.


==Previous Years==
=== '''September 30 -  Sections 2.2 and 2.3-2.5''' ===
 
Lucas Duckworth will finish Section 2.2. Karthik Ravishankar will begin 2.3, 2.4, and 2.5.
=== '''October 7th -  Sections 2.4 and 2.5''' ===
 
Karthik Ravishankar will  finish, 2.4, and 2.5.  Liang Yu will give a talk at 4:00pm.
 
=== '''October 14th -  Sections 2.6 and 2.7''' ===
 
Bjarki Gunnarsson  will present Sections 2.6 and 2.7
 
=== '''October 21th -  Section 3.1''' ===
 
Karthik Ravishankar will present Section 3.1 
 
=== '''October 28th -  Sections 3.2 and 3.3''' ===
 
Karthik Ravishankar will finish Sections 3.2  and John Spoerl will begin Section 3.3
 
=== '''November 4th -  Sections 3.3 and 3.4''' ===
 
John Spoerl will finish Sections 3.3 and 3.4
 
=== '''November 11th -  Section 4.1''' ===
 
Antonion Nakid-Cordero will present Section 4.1
 
=== '''November 19th -  Sections 4.1 and 4.2''' ===
 
Start 4:00PM in VV901! Antonion Nakid-Cordero will continue with Section 4.1, Ang Li will begin Section 4.2.
 
 
=== '''November 25th -  Sections 4.2 and 4.3''' ===
 
Back to the usual time and place. Ang Li will begin Section 4.2.
 
=== '''December 2nd -  Section 4.3''' ===
 
Ang Li will present Section 4.3.
 
=== '''December 9nd -  Section 5.1''' ===
 
Last seminar for this semester. Sapir Ben-Shahar will begin Section 5.1
 
<!-- Template
 
=== '''September 18 - xxx''' ===
'''Title:''' TBA ([https://wiki.math.wisc.edu/images/***.pdf Slides])
 
'''Abstract:''' TBA
 
-->
 
== 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 19:29, 2 December 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 B123
  • Organizer: Mariya Soskova

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

Fall 2024

The seminar will be run as a 1-credit seminar Math 975 . In Fall 2024, the topic will be Higher Computability Theory. We will follow notes by Noam Greenberg. If you are not enrolled but would like to audit it, please contact Mariya Soskova.

Presentation Schedule: Sign up here.

Notes: Download the notes here. You will need your UW-login. Please, do not distribute these notes without permission from the author.


September 9 - Organizational Meeting

Mariya Soskova will start with the first sections from the notes.

We will then assign speakers to dates and topics.

September 16 - Sections 1.2-1.4

Kanav Madhura will continue with Sections 1.2-1.4.

September 23 - Sections 1.3-1.4 and 2.1-2.2

Kanav Madhura will continue with Sections 1.3-1.4. Lucas Duckworth will be ready with Sections 2.1 and 2.2 should there be time.

September 30 - Sections 2.2 and 2.3-2.5

Lucas Duckworth will finish Section 2.2. Karthik Ravishankar will begin 2.3, 2.4, and 2.5.

October 7th - Sections 2.4 and 2.5

Karthik Ravishankar will finish, 2.4, and 2.5. Liang Yu will give a talk at 4:00pm.

October 14th - Sections 2.6 and 2.7

Bjarki Gunnarsson will present Sections 2.6 and 2.7

October 21th - Section 3.1

Karthik Ravishankar will present Section 3.1

October 28th - Sections 3.2 and 3.3

Karthik Ravishankar will finish Sections 3.2 and John Spoerl will begin Section 3.3

November 4th - Sections 3.3 and 3.4

John Spoerl will finish Sections 3.3 and 3.4

November 11th - Section 4.1

Antonion Nakid-Cordero will present Section 4.1

November 19th - Sections 4.1 and 4.2

Start 4:00PM in VV901! Antonion Nakid-Cordero will continue with Section 4.1, Ang Li will begin Section 4.2.


November 25th - Sections 4.2 and 4.3

Back to the usual time and place. Ang Li will begin Section 4.2.

December 2nd - Section 4.3

Ang Li will present Section 4.3.

December 9nd - Section 5.1

Last seminar for this semester. Sapir Ben-Shahar will begin Section 5.1


Previous Years

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

Retrieved from "https://wiki-dev.math.wisc.edu/index.php?title=Graduate_Logic_Seminar&oldid=27704"