{"id":241,"date":"2022-09-30T20:46:16","date_gmt":"2022-10-01T00:46:16","guid":{"rendered":"https:\/\/sites.nd.edu\/mgsa\/?page_id=241"},"modified":"2026-04-08T13:41:03","modified_gmt":"2026-04-08T17:41:03","slug":"graduate-student-logic-seminar","status":"publish","type":"page","link":"https:\/\/sites.nd.edu\/mgsa\/graduate-student-logic-seminar\/","title":{"rendered":"Graduate Student Logic Seminar"},"content":{"rendered":"\n

This seminar meets from 5:15pm-6:15pm in 258 Hurley Hall on Thursdays. Sometimes, we will go out to dinner after the seminar.<\/p>\n\n\n\n

If you would like to receive updates about this seminar, contact Gavin Dooley (gdooley2@nd.edu) or Tan \u00d6zalp (aozalp@nd.edu) to be added to the mailing list.<\/p>\n\n\n\n\n\n

Upcoming talks<\/h3>\n\n\n\n

<\/p>\n\n\n\n

Spring 2026<\/strong><\/p>\n\n\n\n

When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
April 9th<\/td>Jane Kwak<\/td>Two cardinal properties of homogeneous graphs<\/td><\/tr>
April 16th<\/td><\/td><\/td><\/tr>
April 23rd<\/td><\/td><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Previous Talks<\/h3>\n\n\n\n

Spring 2026<\/strong><\/p>\n\n\n\n

When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
March 26th<\/td>Jenny Xu<\/td>Another tree topological Ramsey space<\/td><\/tr>
March 19th<\/td>Gabriel Day<\/td>Defining model theoretic properties with posets and straight definition<\/td><\/tr>
March 5th<\/td>Henry Crampton-Hays<\/td>Constructing cardinals from below<\/td><\/tr>
February 26th<\/td>Tan \u00d6zalp<\/td>Cicho\u0144’s diagram (Part 2)<\/td><\/tr>
February 19th<\/td>Tan \u00d6zalp<\/td>Cicho\u0144’s diagram (Part 1)<\/td><\/tr>
February 12th<\/td>Dominic Scarcelli<\/td>Galvin’s conjecture in higher dimensions<\/td><\/tr>
February 5th<\/td>Yuyan He<\/td>Stating the hypergraph regularity lemma<\/td><\/tr>
January 29th<\/td>Gavin Dooley<\/td>Initial segments of the Turing degrees<\/td><\/tr>
January 22nd<\/td>Sulin Hu<\/td>NTP\u2082 implies chain condition<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Fall 2025<\/strong><\/p>\n\n\n\n

When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
December 4th<\/td>Tom Li<\/td>Merely finitely additive measures<\/td><\/tr>
November 20th<\/td>Jenny Xu<\/td>A4 for Carlson-Simpson space<\/td><\/tr>
November 13th<\/td>Gavin Dooley<\/td>The reverse and computable mathematics of structural Ramsey theory<\/td><\/tr>
November 6th<\/td>Chris Pang<\/td>Categoricity of classical propositional logic<\/td><\/tr>
October 30th<\/td>Dominic Scarcelli<\/td>Semigroup colorings and the Hales-Jewett theorem<\/td><\/tr>
October 16th<\/td>Gabriel Day<\/td>Colored TP\u2081 and TP\u2082<\/td><\/tr>
October 9th<\/td>Henry Crampton-Hays<\/td>The Ultrapower Axiom<\/td><\/tr>
October 2nd<\/td>Tan \u00d6zalp<\/td>Shelah’s proof that Keisler’s isomorphism theorem may consistently fail<\/td><\/tr>
September 25th<\/td>Tan \u00d6zalp<\/td>Proper forcing and iterated forcing<\/td><\/tr>
September 18th<\/td>Yuyan He<\/td>Type counting in NIP\u2082 and a fun combinatorial argument<\/td><\/tr>
September 11th<\/td>William Ball<\/td>An introduction to type theory and proof assistants<\/td><\/tr>
September 4th<\/td>Gavin Dooley<\/td>Model theory and machine learning<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Spring 2025<\/strong><\/p>\n\n\n\n

When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
April 10th<\/td>Daniel Shin<\/td>Ax-Schanuel for principal G<\/em>-bundles<\/td><\/tr>
April 3rd<\/td>Henry Crampton-Hays<\/td>Inner model theory<\/td><\/tr>
March 27th<\/td>Tan \u00d6zalp<\/td>People’s choice<\/em><\/td><\/tr>
March 20th<\/td>Jenny Xu<\/td>The Galvin-Glazer method and left variable Hales-Jewett<\/td><\/tr>
March 6th<\/td>Yuyan He<\/td>Introduction to higher NIP<\/td><\/tr>
February 27th<\/td>Tan \u00d6zalp<\/td>People’s choice<\/em><\/td><\/tr>
February 20th<\/td>Atticus Stonestrom<\/td>NIP groups<\/td><\/tr>
February 13th<\/td>Andy Yang<\/td>Formal languages and transformers: The case of the star-free languages<\/td><\/tr>
February 6th<\/td>Gavin Dooley<\/td>Formal languages and transformers: An introduction<\/td><\/tr>
January 30th<\/td>David Meretzky<\/td>Picard-Vessiot theory with new algebraic constants (Part 2)<\/td><\/tr>
January 23rd<\/td>Gabriel Day<\/td>Why the tree property can’t be characterized by an indiscernible collapse<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Fall 2024<\/strong><\/p>\n\n\n\n

When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
December 12th<\/td>Daniel Shin<\/td>Introduction to Ax-Schanuel (Part 2)<\/td><\/tr>
December 5th<\/td>Daniel Shin<\/td>Introduction to Ax-Schanuel (Part 1)<\/td><\/tr>
November 21st<\/td>Gabriel Day<\/td>Characterizing stability with colored trees<\/td><\/tr>
November 14th<\/td>David Meretzky<\/td>Picard-Vessiot theory with new algebraic constants (Part 1)<\/td><\/tr>
October 31st<\/td>Atticus Stonestrom<\/td>Introduction to Keisler’s measures<\/td><\/tr>
October 17th<\/td>Yuyan He<\/td>The chain condition is a chain condition<\/td><\/tr>
October 10th<\/td>Alberto Miguel-G\u00f3mez<\/td>Stay positive! (Part 2)<\/td><\/tr>
September 26th<\/td>Alberto Miguel-G\u00f3mez<\/td>Stay positive! (Part 1)<\/td><\/tr>
September 19th<\/td>Tan \u00d6zalp<\/td>Tukey minimality of Ramsey ultrafilters (Part 2)<\/td><\/tr>
September 12th<\/td>Tan \u00d6zalp<\/td>Tukey minimality of Ramsey ultrafilters (Part 1)<\/td><\/tr>
September 5th<\/td>Gavin Dooley<\/td>Introduction to reverse mathematics<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Spring 2024<\/strong><\/p>\n\n\n\n

When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
April 25th<\/td>Cheng Liao<\/td>Lindstrom’s First Theorem<\/td><\/tr>
March 28th<\/td>Atticus Stonestrom<\/td>Some Facts about NIP Theories<\/td><\/tr>
March 21st<\/td>Tan \u00d6zalp<\/td>A Game Characterization of the RK-order on Ultrafilters<\/td><\/tr>
February 22nd<\/td>Sulin Hu<\/td>The projective Fra\u00efss\u00e9 limit (Part 2)<\/td><\/tr>
February 15th<\/td>Sulin Hu<\/td>The projective Fra\u00efss\u00e9 limit<\/td><\/tr>
February 1st<\/td>David Meretzky<\/td>Totally Categorical Theories<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Fall 2023<\/strong><\/p>\n\n\n\n

When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
December 7th<\/td>Katie Ellman-Aspnes<\/td>Characterizing NSOP4 (Part 2)<\/td><\/tr>
November 15th<\/td>David Meretzky<\/td>Differential Galois theory<\/td><\/tr>
November 2nd<\/td>Daniel Shin<\/td>A Gentle Introduction to Models of Arithmetic<\/td><\/tr>
October 26th<\/td>Katie Ellman-Aspnes<\/td>Characterizing NSOP4 (An axiomatic approach to free amalgamation<\/a>) (Conant independence and generalized free amalgamation<\/a>)<\/td><\/tr>
October 5th <\/td>Yuyan He<\/td>Proving \\(\\mathfrak{p}=\\mathfrak{t}\\) (part the second)(masters thesis<\/a>)<\/td><\/tr>
September 28th<\/td>Yuanshan Li (Tom)<\/td>Proving \\(\\mathfrak{p}=\\mathfrak{t}\\) (part the first)(masters thesis<\/a>)<\/td><\/tr>
September 14th<\/td>Gabriel Day<\/td>Introduction to indiscernibles<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Spring 2023<\/h4>\n\n\n\n
When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
April 20th<\/td>Matthew Scalamandre<\/td>Word problems and geometry<\/td><\/tr>
April 6th<\/td>Yuyan He<\/td>Harrington’s proof of the Halpern\u2013L\u00e4uchli theorem<\/td><\/tr>
March 9th<\/td>David Meretzky<\/td>Finiteness theorems for differential Galois cohomology<\/td><\/tr>
March 2nd<\/td>Atticus Stonestrom<\/td>Some model theory of Skolem arithmetic (part the first) (Paper<\/a>)<\/td><\/tr>
February 23rd<\/td>Gabriel Day<\/td>Saturation and \\(\\phi\\)-types (Paper<\/a>)<\/td><\/tr>
February 2nd<\/td>Nicol\u00e1s Chavarr\u00eda<\/td>Stable regularity<\/td><\/tr>
January 27th<\/td>Gabriel Day<\/td>Keisler’s order<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Fall 2022<\/h4>\n\n\n\n
When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
December 8th<\/td>David Meretzky<\/td>Definable Galois cohomology<\/td><\/tr>
December 1st<\/td>Lorenzo Riva<\/td>An application of algebraic topology in logic (part the second) (Paper<\/a>)<\/td><\/tr>
November 17th<\/td>Lorenzo Riva<\/td>An application of algebraic topology in logic (part the first) (Paper<\/a>)<\/td><\/tr>
November 10th<\/td>Lorenzo Riva<\/td>Division by \\(\\mathbb Z\\) (Paper<\/a>)<\/td><\/tr>
October 27th<\/td>Annie Holden<\/td>Basse-Serre theory (Slides<\/a>)<\/td><\/tr>
October 13th<\/td>Matt Scalamandre<\/td>Amenable groups<\/td><\/tr>
October 6th<\/td>Yuanshan Li (Tom)<\/td>Higman’s embedding theorem
(part the first?) (Paper<\/a>)<\/td><\/tr>
September 22nd<\/td>Nicol\u00e1s Chavarr\u00eda<\/td>Pontryagin duality and continuous logic<\/td><\/tr>
September 15th<\/td>Katie Ellman-Aspnes<\/td>Basic model-theoretic definitions<\/td><\/tr>
September 8th<\/td>Yuyan He<\/td>An additive combinatorics result in groups (part the second)<\/td><\/tr>
September 1st<\/td>David Meretzky<\/td>An additive combinatorics result in groups (part the first)<\/td><\/tr>
August 25th<\/td>David Meretzky<\/td>Infinite Ramsey theorem and indiscernible sequences<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n

For more details, contact:<\/p>\n\n\n\n

Gavin Dooley \u2709\ufe0f gdooley2 at nd dot edu<\/p>\n\n\n\n

Tan \u00d6zalp \u2709\ufe0f aozalp at nd dot edu
<\/p>\n","protected":false},"excerpt":{"rendered":"

This seminar meets from 5:15pm-6:15pm in 258 Hurley Hall on Thursdays. Sometimes, we will go out to dinner after the seminar. If you would like to receive updates about this seminar, contact Gavin Dooley (gdooley2@nd.edu) or Tan \u00d6zalp (aozalp@nd.edu) to be added to the mailing list. Upcoming talks Spring 2026 When? Who? What about? April […]<\/p>\n","protected":false},"author":4380,"featured_media":0,"parent":0,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-241","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/241","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/users\/4380"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/comments?post=241"}],"version-history":[{"count":131,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/241\/revisions"}],"predecessor-version":[{"id":1190,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/241\/revisions\/1190"}],"wp:attachment":[{"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/media?parent=241"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}