{"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-10-03T21:30:28","modified_gmt":"2026-10-04T01:30:28","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
\"\"<\/figure>\n\n\n\n

This seminar meets from 6:00pm-7:10pm in 258 Hurley Hall on Thursdays. We will usually go out to dinner after the seminar.<\/p>\n\n\n\n

If you would like to receive updates about this seminar, contact Dom (dscarce2@nd.edu) or William Ball (wball@nd.edu) to be added to the mailing list.<\/p>\n\n\n\n

Upcoming Talks<\/h2>\n\n\n\n

Fall 2026<\/h2>\n\n\n\n
When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
October 8th<\/td>Henry Crampton-Hays<\/td>TBA<\/td><\/tr>
October 15th<\/td>Jane Kwak<\/td>TBA<\/td><\/tr>
October 29<\/td>Jenny Xu<\/td>TBA (Special Halloween Lecture \ud83c\udf83<\/strong>)<\/td><\/tr>
November 5th<\/td>Jason Mitrovitch<\/td>TBA<\/td><\/tr>
November 12th<\/td>William Ball<\/td>TBA<\/td><\/tr>
November 19th<\/td>Akash Narayanan<\/td>TBA<\/td><\/tr>
December 3rd<\/td>TBA<\/td>TBA<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

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

Fall 2026<\/h2>\n\n\n\n
When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
October 1st<\/td>Yuyan He<\/td>Monadic Stability\/NIP<\/td><\/tr>
September 24th<\/td>Gavin Dooley<\/td>Computable mathematics of Ramsey’s theorem<\/td><\/tr>
September 17th<\/td>Dom Scarcelli<\/td>The Erd\u0151s\u2013Rado Property for Categories<\/td><\/tr>
September 10th<\/td>William Ball<\/td>The Solovay Model<\/td><\/tr>
September 3rd<\/td>Tan \u00d6zalp<\/td>Madness<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Spring 2026<\/h4>\n\n\n\n
When?<\/strong><\/td>Who?<\/strong><\/td>What about?<\/strong><\/td><\/tr>
April 23rd<\/td>Akash Narayanan<\/td>The Banach-Tarski paradox and amenability<\/td><\/tr>
April 16th<\/td>Gavin Dooley<\/td>How many clouds cover the plane?<\/td><\/tr>
April 9th<\/td>Jane Kwak<\/td>Two cardinal properties of homogeneous graphs<\/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<\/h4>\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<\/h4>\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<\/h4>\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<\/h4>\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<\/h4>\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 6:00pm-7:10pm in 258 Hurley Hall on Thursdays. We will usually go out to dinner after the seminar. If you would like to receive updates about this seminar, contact Dom (dscarce2@nd.edu) or William Ball (wball@nd.edu) to be added to the mailing list. Upcoming Talks Fall 2026 When? Who? What about? October 8th […]<\/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":145,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/241\/revisions"}],"predecessor-version":[{"id":1259,"href":"https:\/\/sites.nd.edu\/mgsa\/wp-json\/wp\/v2\/pages\/241\/revisions\/1259"}],"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}]}}