Graduate Logic Seminar: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
 
(201 intermediate revisions by 9 users not shown)
Line 1: Line 1:
The Graduate Logic Seminar is an informal space where graduate student and professors present topics related to logic which are not necessarly 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:''' Van Vleck B223.
* '''Where:''' Van Vleck B223
* '''Organizers:''' [https://www.math.wisc.edu/~omer/ Omer Mermelstein]
* '''Organizers:''' [https://people.math.wisc.edu/~slempp/ Steffen Lempp] 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]


== 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 [https://people.math.wisc.edu/~slempp/ Steffen Lempp]  and [mailto:hongyu@math.wisc.edu Hongyu Zhu].


== Fall 2019 - Tentative schedule ==
Presentation Schedule: https://docs.google.com/spreadsheets/d/1JC6glG_soNLtaMQWaAuADlUu8dh2eJ0NL-MaUr7-nOk/edit?usp=sharing


=== September 5 - Organizational meeting ===
Zoom link for remote attendance: https://uwmadison.zoom.us/j/96168027763?pwd=bGdvL3lpOGl6QndQcG5RTFUzY3JXQT09 (Meeting ID: 961 6802 7763, Password: 975f23)


=== September 9 - No seminar ===
=== January 29 - Organizational Meeting ===


=== September 16 - Daniel Belin ===
Steffen Lempp will give an overview and present some very basic forcing construction.
Title: Lattice Embeddings of the m-Degrees and Second Order Arithmetic


Abstract: Lachlan, in a result later refined and clarified by Odifreddi, proved in 1970 that initial segments of the m-degrees can be embedded as an upper semilattice formed as the limit of finite distributive lattices. This allows us to show that the many-one degrees codes satisfiability in second-order arithmetic, due to a later result of Nerode and Shore. We will take a journey through Lachlan's rather complicated construction which sheds a great deal of light on the order-theoretic properties of many-one reducibility.
We will then assign speakers to dates and topics.


=== September 23 - Daniel Belin ===
=== '''February 5 - Taeyoung Em''' ===
'''Title:''' Introduction to forcing


Title: Lattice Embeddings of the m-Degrees and Second Order Arithmetic - Continued
'''Abstract:''' We introduce new definitions and properties regarding forcing.


=== September 30 - Josiah Jacobsen-Grocott ===
=== '''February 12 - Hongyu Zhu''' ===
'''Title:''' Slaman-Woodin Forcing and the Theory of Turing Degrees


Title: Scott Rank of Computable Models
'''Abstract:''' We will discuss how to use Slaman-Woodin forcing to interpret true second(first, resp.)-order arithmetic in the Turing degrees (Turing degrees below 0', resp.), thereby showing they have the same Turing degree.


Abstract: Infinatary logic extends the notions of first order logic by allowing infinite formulas. Scott's Isomorphism Theorem states that any countable structure can be characterized up to isomorphism by a single countable sentence. Closely related to the complexity of this sentence is what is known as the Scott Rank of the structure. In this talk we restrict our attention to computable models and look at an upper bound on the Scott Rank of such structures.
=== '''February 19 - John Spoerl''' ===
'''Title:''' Forcing with Trees - Spector's and Sack's Minimal Degrees


=== October 7 - Josiah Jacobsen-Grocott ===
'''Abstract:''' We'll take a look at Spector's forcing which uses perfect trees as conditions.  Then we'll see where we might make some improvements which leads to Sack's sharpening of Spector's theorem: there is a minimal degree below 0'.


Title: Scott Rank of Computable Codels - Continued
=== '''February 26 - Karthik Ravishankar''' ===
'''Title:''' The 3 element chain as an initial segment of the Turing Degrees


=== October 14 - Tejas Bhojraj I ===
'''Abstract:''' In this talk, we'll look at the construction of a minimal degree with a strong minimal cover which shows that the three-element chain can be embedded as an initial segment of the Turing Degrees. The construction builds off ideas of Spector's minimal degree with stronger assumptions on the forcing conditions used. If time permits, we'll also talk about Copper's Jump Inversion building off Sack's construction.


=== October 21 - Tejas Bhojraj II - Date may change ===
=== '''March 4 - Karthik Ravishankar''' ===
'''Title:''' Bushy Tree forcing and constructing a minimal degree which is DNC


=== October 28 - Two short talks ===
'''Abstract:''' We shall look at a forcing technique called Bushy Tree forcing using it to show that there is no uniform way to compute a DNC_2 from a DNC_3 function and that there is a DNC function that is weak in the sense that it does not compute a computably bounded DNC function. We present a few other results along these lines and sketch the construction of a minimal degree that is DNC relative to any given oracle using bushy tree forcing.


Iván Ongay Valverde and James Earnest Hanson
=== '''March 11 - Josiah Jacobsen-Grocott''' ===
'''Title:''' A uniformly e-pointed tree on Baire space without dead ends that is not of cototal degree


=== November 4 - Two short talks ===
'''Abstract:''' A set is cototal if it is enumeration reducible to its complement. A tree is e-point if every path on the tree can enumerate the tree. McCathy proved that these notions are equivalent up to e-degree when considering e-pointed trees on cantor space. This fails when considering trees on Baire space. We give an example of a simple forcing construction that produces e-pointed trees on Baire space. We carefully analyze this forcing partial order to prove that generic e-pointed trees without dead ends are not of cototal degree.
Speakers TBD


=== November 11 - Manlio Valenti I ===
=== '''March 18 - Alice Vidrine''' ===
'''Title:''' There is no non-computable bi-introreducible set


=== November 18 - Manlio Valenti II ===
'''Abstract:''' A set is said to be bi-introreducible if it can be computed by any of its infinite subsets, or any infinite subset of its complement. This talk will detail a Matthias forcing construction used to prove a theorem by Seetapun which implies that the bi-introreducible sets are exactly the computable sets.


=== November 25 - Two short talks ===
<!-- Template
Speakers TBD


=== December 2 - Iván Ongay Valverde I ===
=== '''September 18 - xxx''' ===
'''Title:''' TBA ([https://wiki.math.wisc.edu/images/***.pdf Slides])


=== December 9 - Iván Ongay Valverde II ===
'''Abstract:''' TBA


==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 14:52, 15 March 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.

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.

February 12 - Hongyu Zhu

Title: Slaman-Woodin Forcing and the Theory of Turing Degrees

Abstract: We will discuss how to use Slaman-Woodin forcing to interpret true second(first, resp.)-order arithmetic in the Turing degrees (Turing degrees below 0', resp.), thereby showing they have the same Turing degree.

February 19 - John Spoerl

Title: Forcing with Trees - Spector's and Sack's Minimal Degrees

Abstract: We'll take a look at Spector's forcing which uses perfect trees as conditions. Then we'll see where we might make some improvements which leads to Sack's sharpening of Spector's theorem: there is a minimal degree below 0'.

February 26 - Karthik Ravishankar

Title: The 3 element chain as an initial segment of the Turing Degrees

Abstract: In this talk, we'll look at the construction of a minimal degree with a strong minimal cover which shows that the three-element chain can be embedded as an initial segment of the Turing Degrees. The construction builds off ideas of Spector's minimal degree with stronger assumptions on the forcing conditions used. If time permits, we'll also talk about Copper's Jump Inversion building off Sack's construction.

March 4 - Karthik Ravishankar

Title: Bushy Tree forcing and constructing a minimal degree which is DNC

Abstract: We shall look at a forcing technique called Bushy Tree forcing using it to show that there is no uniform way to compute a DNC_2 from a DNC_3 function and that there is a DNC function that is weak in the sense that it does not compute a computably bounded DNC function. We present a few other results along these lines and sketch the construction of a minimal degree that is DNC relative to any given oracle using bushy tree forcing.

March 11 - Josiah Jacobsen-Grocott

Title: A uniformly e-pointed tree on Baire space without dead ends that is not of cototal degree

Abstract: A set is cototal if it is enumeration reducible to its complement. A tree is e-point if every path on the tree can enumerate the tree. McCathy proved that these notions are equivalent up to e-degree when considering e-pointed trees on cantor space. This fails when considering trees on Baire space. We give an example of a simple forcing construction that produces e-pointed trees on Baire space. We carefully analyze this forcing partial order to prove that generic e-pointed trees without dead ends are not of cototal degree.

March 18 - Alice Vidrine

Title: There is no non-computable bi-introreducible set

Abstract: A set is said to be bi-introreducible if it can be computed by any of its infinite subsets, or any infinite subset of its complement. This talk will detail a Matthias forcing construction used to prove a theorem by Seetapun which implies that the bi-introreducible sets are exactly the computable sets.


Previous Years

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