Events by year for Logic Seminars

Navigate to a particular year to see all events from that year.

« 2017 »

Tue Jan 24, 2017

Model Theory Seminar: Gabriel Conant - University of Notre Dame

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

Title: Model-theoretic tree properties (after Chernikov and Ramsey)…

Posted In: Logic Seminars

Tue Jan 31, 2017

Model Theory Seminar: Gabriel Conant - University of Notre Dame

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

Title: Model-theroretic tree properties, continued…

Posted In: Logic Seminars

Logic Seminar: Kobi Peterzil - University of Haifa

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

Title: The closure of algebraic and o-minimal flows (joint work with Sergei Starchenko)

Abstract

Posted In: Logic Seminars

Tue Feb 7, 2017

Logic Seminar: Anand Pillay - University of Notre Dame

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

Title: Contemporary model theory

Abstract: This is a repeat of a talk given in December 2016 to the Korean Association of Mathematical Logic…

Posted In: Logic Seminars

Tue Feb 14, 2017

Logic Seminar: Saugata Basu - Purdue University

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

Title: An o-minimal Szemeredi-Trotter theorem

Abstract

Posted In: Logic Seminars

Thu Mar 2, 2017

Logic Seminar: Henry Towsner - University of Pennsylvania

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

Title: How much uniform convergence can we get from provable convergence? 

Abstract

Posted In: Logic Seminars

Tue Mar 7, 2017

Alex Kruckman

2:00 PM - 3:00 PM
University of Indiana

Title: First order logic for LFP categories and their duals …

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

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 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 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 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

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 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

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

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 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

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 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

Subscribe to iCal