Upcoming Events For Logic Seminars


Past Events

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

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

Abstract

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

Abstract

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 …

Posted In: Logic Seminars and Model Theory Seminars

Thu Oct 12, 2017

Logic Seminar: Steffen Lempp - University of Wisconsin-Madison

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

Title: Computable linear orders and products

Abstract

 …

Posted In: Logic Seminars

Thu Oct 5, 2017

Computability Seminar: Dino Rossegger - Vienna University of Technology

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

Title: The complexity of embeddings between bi-embeddable structures

Abstract

Posted In: Logic Seminars

Tue Sep 26, 2017

Model Theory Seminar: Ruizheng Jin - University of Waterloo

11:00 AM - 12:00 PM
125 Hayes-Healy Hall

Title: Constructing analyzable types in differentially closed fields with log derivatives

Abstract

Posted In: Logic Seminars and Model Theory Seminars

Tue Sep 19, 2017

Logic Seminar: Chieu Minh Tran - University of Illinois at Urbana-Champaign

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

Title: Algebraically closed field with a multiplicatively coherent cyclic ordering 

Abstract

 …

Posted In: Logic Seminars

Tue Aug 29, 2017

Logic Seminar: Dan Turetsky - University of Notre Dame

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

Title:  Introduction to randomness

Abstract: The talk will provide an introduction to algorithmic randomness, accessible to students who are unfamiliar with the topic.…

Posted In: Logic Seminars

Tue Apr 25, 2017

Logic Seminar: Siddharth Bhaskar - University of Indiana, Bloomington

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

Title: Ticket density

Abstract

Posted In: Logic Seminars

Tue May 2, 2017

Logic Seminar: Andres Caicedo - Mathematical Reviews

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

Title: Real-valued measurability and Lebesgue measurable sets

Abstract: I will show that the existence of atomlessly measurable cardinals does not settle the range of Lebesgue measure on the projective sets. …

Posted In: Logic Seminars

Tue Apr 11, 2017

Logic Seminar: James Madden - Louisianna State University

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

Title: On the Pierce-Birkhoff conjecture

 …

Posted In: Logic Seminars

Tue Apr 18, 2017

Logic Seminar: Ward Henson - University of Illinois at Urbana-Champaign

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

Title: Uncountable categoricity in structures based on Banach spaces

 …

Posted In: Logic Seminars