Upcoming Events For Logic Seminars
Tue Oct 30, 2018
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
Past Events
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Posted In: Logic Seminars
Tue Nov 14, 2017
Model Theory Seminar: Leo Jimenez - University of Notre Dame
11:00 AM - 12:00 PM
125 Hayes-Healy Hall
Title: Groupoids and 3-amalgamation, continued
…
Posted In: Logic Seminars and Model Theory Seminars
Logic Seminar: Nicholas Ramsey - University of Californiam, Berkeley
2:00 PM - 3:00 PM
125 Hayes-Healy Hall
Title: Examples of NSOP_1 Theories
Posted In: Logic Seminars
Tue Nov 7, 2017
Logic Seminar: Wilfried Sieg - Carnegie -Mellon University
2:00 PM - 3:00 PM
125 Hayes-Healy Hall
Title: What is the concept of computation
Posted In: Logic Seminars
Tue Oct 31, 2017
Model Theory Seminar: Leo Jimenez - University of Notre Dame
11:00 AM - 12:30 PM
125 Hayes-Healy Hall
Title: Definable groupoids and 3-amalgamation …
Posted In: Logic Seminars and Model Theory Seminars
Tue Nov 7, 2017
Model Theory Seminar: Erin Caulfield - University of Illinois at Urbana-Champaign
11:00 AM - 12:00 PM
125 Hayes-Healy Hall
Title: Classifying expansions of the real field by complex subgroups
Abstract: In this talk, I will discuss the progress made towards classifying expansions of the real field by finitely generated subgroups of the complex numbers.
…
Posted In: Logic Seminars and Model Theory Seminars
Tue Oct 10, 2017
Model Theory Seminar: Gabriel Conant - University of Notre Dame
11:00 AM - 12:00 PM
125 Hayes-Healy Hall
Title: NSOP_1 theories and Kim dividing …
