Events by year for Logic Seminars

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

« 2014 »

Thu Jan 30, 2014

Real Algebraic Geometry Seminar: Anand Pillay, University of Notre Dame

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

Title: Nash groups

Abstract

Posted In: Logic Seminars

Tue Feb 4, 2014

Real Algebraic Geometry Seminar: Ricardo Mendes, University of Notre Dame

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

Title:  Organizational meeting

Abstract: We will decide on topics to be covered during the semester, as well as meeting time. Feel free to bring suggestions.…

Posted In: Logic Seminars and Real Algebraic Geometry Seminar

Thu Feb 20, 2014

Logic Seminar: Julia Knight - University of Notre Dame

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

Title:  Strongly minimal theories with computable models

Abstract

Posted In: Logic Seminars

Thu Mar 6, 2014

Logic Seminar: Carl Jockusch - UIUC

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

Title: Notions of imperfect computabiloity and Turing degrees

Abstract

Posted In: Logic Seminars

Wed Mar 19, 2014

Logic Seminar: Joe Miller - UW-Madison

11:30 AM - 12:30 PM
184 Nieuwland Hall

Title: Truth-table reduction to the set of random strings

Abstract

Posted In: Logic Seminars

Thu Mar 20, 2014

Logic Seminar: Damir Dzhafarov - University of Connecticut

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

Title: Limits to joining with generics and randoms

Abstract

Posted In: Logic Seminars

Wed Mar 26, 2014

Logic Seminar: Alexandra Soskova - Sofia University

11:30 AM - 12:30 PM
184 Nieuwland Hall

Title: Joint spectra and Relative spectra of structures

Abstract

Posted In: Logic Seminars

Thu Mar 27, 2014

Logic Seminar: Mariya Soskova - Sofia University

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

Title: Defining Totality in the Enumeration Degrees

Abstract

Posted In: Logic Seminars

Tue Apr 8, 2014

Logic Seminar: Russell Miller - Queens College

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

Title: Degree spectra of differentially closed fields

Abstract

Posted In: Logic Seminars

Real Algebraic Geometry Seminar: Julia Knight, University of Notre Dame

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

Title:  Archimedean and non-Archimedean real closed ordered fields

Abstract

Posted In: Logic Seminars and Real Algebraic Geometry Seminar

Thu Apr 10, 2014

Combinatorics Seminar: Sami Assaf - University of Southern California

1:00 PM - 2:00 PM
258 Hurley Hall

Title: Shifted dual equivalence and Schur P-positivity

Abstract

Posted In: Logic Seminars

Thu Apr 24, 2014

Logic Seminar: Thanases Pheidas - Purdue and University of Crete

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

Title:  Undecidable Diophantine Problems:  Uniformity Questions

Abstract

Posted In: Logic Seminars

Fri May 2, 2014

Logic Seminar: Rod Downey - Victoria University of Wellington

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

Title: Effective aspects of abelian groups

Abstract

Posted In: Logic Seminars

Tue Aug 5, 2014

Logic Seminar: Alexander Melnikov - University of California, Berkeley

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

Title: Structures categorical relative to a few Turing jumps

Abstract

Posted In: Logic Seminars

Tue Aug 26, 2014

Logic Seminar: Steffen Lempp - University of Wisconsin, Madison

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

Title: Spectra of computable models of strongly minimal theories

Abstract

Posted In: Logic Seminars

Thu Sep 4, 2014

Logic Seminar: Patricia Blanchette - Dept. of Philosophy - University of Notre Dame

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

Title: The Birth of Semantic Entailment

Abstract

Posted In: Logic Seminars

Thu Sep 11, 2014

Logic Seminar: Quinn Culver - University of Notre Dame

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

Title: Algorithmically Random Measures

Abstract

Posted In: Logic Seminars

Thu Sep 18, 2014

Logic Seminar: Sergei Starchenko - University of Notre Dame

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

Title: Ramsey-Type Theorems in Certain NIP Theories

Abstract

Posted In: Logic Seminars

Thu Oct 9, 2014

Logic Seminar: Patricia Blanchette - Dept. of Philosophy - University of Notre Dame

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

Title: The Birth of Semantic Entailment

Abstract

Posted In: Logic Seminars

Tue Oct 14, 2014

Logic Seminar: Ioannis Souldatos - University of Detroit Mercy

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

Title: Spectra of Scott sentences

Abstract

Posted In: Logic Seminars

Model Theory Seminar: Gabriel Conant - University of Illinois at Chicago

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

Title: Urysohn spaces over restriced spectra

Abstract

Posted In: Logic Seminars and Model Theory Seminars

Thu Oct 16, 2014

Logic Seminar: Alexandru Buium - University of New Mexico

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

Title: Semantic aspects of the second formalization

Abstract

Posted In: Logic Seminars

Thu Oct 30, 2014

Logic Seminar: Andrey Frolov - Kazan Federal University

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

Title: the categoricity degrees of computable structures

Abstract

Posted In: Logic Seminars

Fri Oct 31, 2014

Logic Seminar: Gregory Igusa - University of Notre Dame

1:00 PM - 2:00 PM
258 Hurley Hall

Title:  Computability strength of $\mathbb{R}$ compared to $2^\omega$

Abstract

Posted In: Logic Seminars

Thu Nov 6, 2014

Logic Seminar: Krzysztof Krupinski - University of Wroclaw

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

Title: Borel cardinalities of bounded invariant equivalence relations

Abstract

 …

Posted In: Logic Seminars

Thu Nov 13, 2014

Logic Seminar: Noah Schweber - University of California, Berkeley

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

Title: Computability of uncountable structures

Abstract

Posted In: Logic Seminars

Thu Dec 4, 2014

Logic Seminar: Tim Bays - University of Notre Dame, Philisophy

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

Title: Some remarks on Tennenbaum's Theorem

Abstract

Posted In: Logic Seminars

Tue Dec 16, 2014

Logic Seminar: Charlie McCoy, CSC - University of Portland

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

Title: An effective version of the uniqueness of prime models

Abstract

Posted In: Logic Seminars

Subscribe to iCal