Events by year for Logic Seminars

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

« 2016 »

Tue Feb 16, 2016

Logic Seminar: Katrin Tent - University of Munster

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

Title: Prfinite groups with NIP theory

Abstract

Posted In: Logic Seminars

Tue Feb 23, 2016

Logic Seminar: Joseph Miller - University of Wisconsin, Madison

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

Title: Generic Muchnik reducibility and expansions of the reals

Abstract

Posted In: Logic Seminars

Tue Mar 1, 2016

Logic Seminar: Sean Walsh: Department of Logic and Philosophy of Science, University of California, Irvine

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

Title: Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction.

Abstract

Posted In: Logic Seminars

Tue Mar 15, 2016

Logic Seminar: Chris Laskowski - University of Maryland

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

Title: Borel complexity via counting potential Scott sentences

 …

Posted In: Logic Seminars

Tue Mar 22, 2016

Logic Seminar: Karen Lange - Wellesley College

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

Title: Lengths of roots of polynomials over k((G))


Abstract

Posted In: Logic Seminars

Tue Apr 12, 2016

Logic Seminar: Rutger Kuyper - University of Wisconsin-Madison

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

Title: Obliterating generosity using symmetric differences

Abstract

Posted In: Logic Seminars

Tue Apr 26, 2016

Logic Seminar: Deirdre Haskell - McMaster University

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

Title: Around and about real closed valued fields

Abstract

Posted In: Logic Seminars

Tue Jun 28, 2016

Logic Seminar: Shashi Srivastava - ISI, Kolkata

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

Title: Computing fundamental groups of metric spaces using descriptive set theory

 …

Posted In: Logic Seminars

Tue Sep 6, 2016

Model Theory Seminar: Mike Haskel - University of Notre Dame

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

Title: Definable groupoids, continued…

Posted In: Logic Seminars and Model Theory Seminars

Logic Seminar: Kenneth Manders - University of Pittsburgh

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

Title: Expressive means and intelligibility in mathematics

Abstract

Posted In: Logic Seminars

Tue Sep 13, 2016

Model Theory Seminar: Mike Haskel - University of Notre Dame

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

TItle: Definable groupoids, continued…

Posted In: Logic Seminars and Model Theory Seminars

Tue Sep 27, 2016

Model Theory Seminar: Anand Pillay - University of Notre Dame

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

Title: Generically stable measures and weight

 …

Posted In: Logic Seminars

Tue Oct 11, 2016

Model Theory Seminar: Zoé Chatzidakis - Ecole Normale Supérieure, Paris, France

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

Title: Revisiting virtual difference ideal (joint with E. Hrushovski)

Abstract: This talk will present some of the tools developed in the proof of Zilber's trichotomy in existentially closed difference fields of positive characteristic.…

Posted In: Logic Seminars

Logic Seminar: Slawomir Solecki - University of Illinois at Urbana-Champaign

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

Title: Projective Fraise limits and homogeneity for tuples of points of the pseudoarc

Abstract

Posted In: Logic Seminars

Tue Oct 25, 2016

Logic Seminar: Christopher Shaw - Columbia College, Chicago

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

Title: Skolem functions for a weakly o-minimal structure with a new convex predicate

Abstract

Posted In: Logic Seminars

Tue Nov 8, 2016

Logic Seminar: Prasit Bhattacharya

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

Lecture Title: p-adic integers and final co-algebras…

Posted In: Logic Seminars

Tue Nov 15, 2016

Logic Seminar: Michael Rathjen - University of Leeds

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

Title: Proof-theoretic reduction and long proofs

Abstract

Posted In: Logic Seminars

Tue Nov 22, 2016

Logic Seminar: Sergei Starchenko - University of Notre Dame

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

Title: Non-dividing formulas in distal NIP theories (after Boxall and Kestner)

 …

Posted In: Logic Seminars

Tue Nov 29, 2016

Logic Seminar: Larry Moss, Indiana University

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

Title: Natural Logic

Abstract

Posted In: Logic Seminars

Tue Dec 6, 2016

Logic Seminar: James Freitag - University of Illinois at Chicago

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

Title: Revisiting the model theory of Painleve equations

Abstract: We will discuss some recent results around algebraic relations between solutions of Painleve equations which builds on work of Nagloo and Pillay.…

Posted In: Logic Seminars

Subscribe to iCal