Upcoming Events For Logic Seminars


Past Events

Tue Dec 4, 2018

Logic Seminar: Omer Mermelstein - University of Wisconsin-Madison

2:00 PM - 3:00 PM
125 Hayes Healy Bldg.

Title:  Flat geometries and strong minimality 

Abstract

Posted In: Logic Seminars

Model Theory Seminar: Jinhe Ye - University of Notre Dame

10:30 AM - 11:30 AM
125 Hayes-Healy Bldg

Title: On VC-density in valued fields

Poster

Posted In: Logic Seminars

Tue Nov 27, 2018

Logic Seminar: Anand Pillay - University of Notre Dame

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Free algebras, modules, and model theory

Posted In: Logic Seminars

Tue Nov 6, 2018

Model Theory Seminar: Gabriel Conant - University of Notre Dame

11:00 AM - 12:00 PM

Poster

Posted In: Logic Seminars

Tue Oct 30, 2018

Model Theory Seminar: Michael Wibmer - University of Notre Dame

10:30 AM - 11:30 AM
125 Hayes-Healy Bldg

Title: Effective difference nullstellensatz, continued

 …

Posted In: Logic Seminars

Logic Seminar: Zoe Chatzidakis - University Paris VII (Paris-Diderot)

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Non-existence of prime models over sets in the theory of pseudofinite fields …

Posted In: Logic Seminars

Tue Oct 2, 2018

Logic Seminar: University of Illinois at Urbana Champaign

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: On the model theory of group actions on probability measure algebras

Poster

Posted In: Logic Seminars

Tue Sep 11, 2018

Model Theory Seminar: Sergei Starchenko - University of Notre Dame

10:30 AM - 11:30 AM
125 Hayes-Healy Bldg

Title: Linear orders definable in NIP theories, continued…

Posted In: Logic Seminars and Model Theory Seminars

Tue Sep 4, 2018

Model Theory Seminar: Anand Pillay - University of Notre Dame

10:30 AM - 11:30 AM
125 Hayes-Healy Bldg

TItle: Linear orderings in NIP theories

 …

Posted In: Logic Seminars

Logic Seminar: Natasha Dobrinen - University of Denver

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Logic, Ramsey Theory, and Homogeneous Structures

Abstract

Posted In: Logic Seminars

Mon Sep 3, 2018

Computability Seminar: Peter Cholak - University of Notre Dame

3:00 PM - 4:00 PM
258 Hurley Bldg

Title: An effective Lovasz local lemma

Abstract

Posted In: Logic Seminars

Mon Aug 27, 2018

Computability Seminar: Peter Cholak - University of Notre Dame

3:00 PM - 4:00 PM
258 Hurley Bldg

Title: Hindman Theorem for exactly two elements

Abstract

Posted In: Logic Seminars

Tue Aug 28, 2018

Logic Seminar: Gabriel Conant - University of Notre Dame

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Pseudofinite groups and additive combinatorics

Abstract

Posted In: Logic Seminars

Tue Aug 21, 2018

Logic Seminar: Caroline Terry - University of Chicago

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Speeds of hereditary properties

Abstract

Posted In: Logic Seminars

Tue Jul 24, 2018

Model Theory Seminar: Kyle Gannon - University of Notre Dame

11:00 AM - 12:00 PM
258 Hurley Hall

Title: Functional Analysis, Measures, and Model Theory

 …

Posted In: Logic Seminars and Model Theory Seminars

Tue Jul 17, 2018

Model Theory Seminar: Jinhe Ye - University of Notre Dame

11:00 AM - 12:00 PM
258 Hurley Hall

Title: mu-types and their stabilizers in ACVF…

Posted In: Logic Seminars and Model Theory Seminars

Tue Jul 10, 2018

Model Theory Seminar: Ningyuan Yao - Fudan University

11:00 AM - 12:00 PM
258 Hurley Hall

Title: Groups definable in the p-adics

 …

Posted In: Logic Seminars

Tue Jul 3, 2018

Model Theory Seminar: Leo Jimenez - University of Notre Dame

11:00 AM - 12:00 PM
258 Hurley Hall

Title: Groupoids and relative internality

 …

Posted In: Logic Seminars

Mon Apr 30, 2018

Computability Seminar: Stefan Vatev - Sofia University

3:00 PM - 4:00 PM
258 Hurley Hall

Title: Jump Inversion of Structures

Abstract

Posted In: Computability Seminar and Logic Seminars

Tue May 1, 2018

Logic Seminar: Alexandra Soskova - Sofia University

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Properties of degree spectra, co-spectra and omega co-spectra

Abstract

Posted In: Logic Seminars

Tue Apr 10, 2018

Logic Seminar: Deirdre Haskell, McMaster University

4:00 PM - 5:00 PM
125 Hayes-Healy Hall

Title: Analytic functions on ordered valued fields

Haskell 4 10

Posted In: Logic Seminars

Tue Apr 3, 2018

Logic Seminar: Meng-Chi "Turbo" Ho - Purdue University

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: The word problems of groups as formal languages

Abstract

Posted In: Logic Seminars

Tue Mar 20, 2018

Logic Seminar: Johanna Franklin - Hofstra University

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Metric spaces and lowness

Abstract

Posted In: Logic Seminars

Tue Feb 20, 2018

Logic Seminar: Douglas Ulrich - University of Maryland

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Borel complexity of torsion-free Abelian groups

Abstract

Posted In: Logic Seminars

Tue Feb 13, 2018

Logic Seminar: Dino Rossegger - Technical Univeristy of Vienna

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Elementary bi-embeddability spectra of structures …

Posted In: Logic Seminars

Tue Feb 6, 2018

Logic Seminar: Ioannis Souldatos - University of Detroit Mercy

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: The model existence and amalgamation spectra of infinitary sentences 
 …

Posted In: Logic Seminars

Tue Dec 5, 2017

Logic Seminar: Denis Hirschfeldt - University of Chicago

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Computability Theory and Asymptotic Density

Abstract

Posted In: Logic Seminars

Tue Nov 28, 2017

Logic Seminar: Tommy Kucera - University of Manitoba

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Introduction to the model theory of modules…

Posted In: Logic Seminars

Thu Nov 30, 2017

Logic Seminar: Linda Brown Westrick - University of Connecticut

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Towards a notion of computable reducibility for discontinuous functions

Abstract

Posted In: Logic Seminars

Thu Nov 16, 2017

Logic Seminar: Matthew Harrison-Trainor - University of Waterloo

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: When is a property expressed in infinitary logic also pseudo-elementary

Abstract

Posted In: Logic Seminars