Logic Seminar

Mondays and Fridays from 2:55 to 4:10 p.m. in Malott 205
E.g., 2025 Jun 12
E.g., 2025 Jun 12
Tue Aug 25, 2015
2:55 PM
Malott 206
Richard ShoreCornell University
Organizational meeting
Tue Sep 1, 2015
2:55 PM
Malott 206
Chris Lambie-HansonHebrew University of Jerusalem
Robust reflection properties
Wed Sep 2, 2015
4:00 PM
Malott 206
No talk today
Tue Sep 8, 2015
2:55 PM
Malott 206
Jun Le GohCornell University
Forcings in arithmetic which preserve complexity of sets
Wed Sep 9, 2015
4:00 PM
Malott 206
Richard ShoreCornell University
Recurisve and constructive ordinals: Kleene's O (Ch. 2)
Tue Sep 15, 2015
2:55 PM
Malott 206
Jeffrey BergfalkCornell University
Strong homology and set theory
Wed Sep 16, 2015
4:00 PM
Malott 206
Richard ShoreCornell University
Effective transfinite recursion and the hyperarithmetic sets (Ch. 3)
Tue Sep 22, 2015
3:30 PM
Malott 230
Andrew BridyUniversity of Rochester
Automatic sequences and curves over finite fields
Wed Sep 23, 2015
4:00 PM
Malott 206
No talk today
Tue Sep 29, 2015
2:55 PM
Malott 206
Hossein Lamei RamandiCornell University
There might be no minimal non-$\sigma$-scattered linear order I
Wed Sep 30, 2015
4:00 PM
Malott 206
Iian SmytheCornell University
Infinitary formulas, Scott families, and Scott's isomorphism theorem
Tue Oct 6, 2015
2:55 PM
Malott 206
Hossein Lamei RamandiCornell University
There might be no minimal non-$\sigma$-scattered linear order II
Wed Oct 7, 2015
4:00 PM
Malott 206
Jamie BarnesCornell University
Comutable infinitary formulas
Wed Oct 14, 2015
4:00 PM
Malott 206
Jamie BarnesCornell University
Forcing and expressive completeness for infinitary computable formulas
Tue Oct 20, 2015
2:55 PM
Malott 206
Stephen SimpsonPennsylvania State University
Reverse mathematics and the ascending chain condition
Wed Oct 21, 2015
4:00 PM
Malott 206
Iian SmytheCornell University
Model existence and the Borel hierarchy
Tue Oct 27, 2015
2:55 PM
Malott 206
Jun Le GohCornell University
Forcings in arithmetic which preserve complexity of sets II
Wed Oct 28, 2015
4:00 PM
Malott 206
Jamie BarnesCornell University
Classes of models and complexity of axiom systems
Tue Nov 3, 2015
2:55 PM
Malott 206
Scott MessickCornell University
Encoding-free foundations
Wed Nov 4, 2015
4:00 PM
Malott 206
Jun Le GohCornell University
Scott ranks and some equivalents
Tue Nov 10, 2015
2:55 PM
Malott 206
Damir DzhafarovUniversity of Connecticut at Storrs
The strength of $RT^1_k$
Wed Nov 11, 2015
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Admissible sets
Tue Nov 17, 2015
2:55 PM
Malott 206
Burak KayaRutgers University
The complexity of topological conjugacy of pointed Cantor minimal systems
Wed Nov 18, 2015
4:00 PM
Malott 206
Martino LupiniCalifornia Institute of Technology
Polish groupoids and the classification problem for operator algebraic varieties
Tue Nov 24, 2015
2:55 PM
Malott 206
Thomas KernCornell University
The Krohn-Rhodes theorem as a generating set for the regular functions
Tue Dec 1, 2015
2:55 PM
Malott 206
Thomas KernCornell University
Towards a classification of countable nonstandard models of WS1S
Wed Dec 2, 2015
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Admissible sets II
Tue Feb 2, 2016
2:55 PM
Malott 206
Justin MooreCornell University
Organizational meeting
Wed Feb 3, 2016
4:00 PM
Malott 206
Justin MooreCornell University
Peng and Wu's L spaces and groups, part I
Tue Feb 9, 2016
2:55 PM
Malott 206
Iian SmytheCornell University
Semiselective co-ideals and complete combinatorics, part I
Wed Feb 10, 2016
4:00 PM
Malott 206
Justin MooreCornell University
Peng and Wu's L spaces and groups, part II
Wed Feb 17, 2016
4:00 PM
Malott 206
Iian SmytheCornell University
Semiselective co-ideals and complete combinatorics, part II
Tue Feb 23, 2016
2:55 PM
Malott 206
James BarnesCornell University
Kumabe-Slaman forcing in the hyperarithmetic degrees
Wed Feb 24, 2016
4:00 PM
Malott 206
Anush TserunyanUniversity of Illinois, Urbana-Champaign
Topological dimension and Baire category
Tue Mar 1, 2016
2:55 PM
Malott 206
Sebastien VaseyCarnegie Mellon University
Shelah's eventual categoricity conjecture in universal classes
Wed Mar 2, 2016
4:00 PM
Malott 206
James BarnesCornell University
Kumabe-Slaman forcing in the hyperarithmetic degrees, part 2
Tue Mar 8, 2016
2:55 PM
Malott 206
Jeffrey BergfalkCornell University
Homological Characterizations of Small Cardinals, part I
Wed Mar 9, 2016
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Homological Characterizations of Small Cardinals, part II
Tue Mar 15, 2016
2:55 PM
Malott 206
Justin MooreCornell University
An introduction to $0^\sharp$, part 1
Wed Mar 16, 2016
4:00 PM
Malott 206
Hossein Lamei RamandiCornell University
Kurepa Trees and Namba Forcing, part I
Tue Mar 22, 2016
2:55 PM
Malott 206
Justin MooreCornell University
An introduction to $0^\sharp$, part 2
Wed Mar 23, 2016
4:00 PM
Malott 206
Hossein Lamei RamandiCornell University
Kurepa trees and Namba forcing, part II
Sat Apr 2, 2016
2:00 PM
Malott 206
Christian RosendalUniversity of Illinois at Chicago
Nonlinear and equivariant geometry of Banach spaces
Tue Apr 5, 2016
2:55 PM
Malott 206
Jun Le GohCornell University
Fine structure of L, part I
Wed Apr 6, 2016
2:30 PM
Malott 206
Justin MooreCornell University
Neeman's Solution to Baumgartner's Isomophism Problem
Tue Apr 12, 2016
2:55 PM
Malott 206
Jun Le GohCornell University
Fine Structure of L, part II
Wed Apr 13, 2016
4:00 PM
Malott 206
Justin MooreCornell University
Shelah's pcf theory
Tue Apr 19, 2016
2:55 PM
Malott 206
Shihao XiongCornell University
Jensen's Covering Lemma
Wed Apr 20, 2016
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Shelah's pcf theory, part II
Tue Apr 26, 2016
2:55 PM
Malott 206
Thomas KernCornell University
Nonstandard models of the weak second order theory of one successor
Wed Apr 27, 2016
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Shelah's pcf theory, part III
Tue May 3, 2016
2:55 PM
Malott 206
Scott MessickCornell University
Open problems in continuous automata theory
Wed May 4, 2016
4:00 PM
Malott 206
James CummingsCarnegie Mellon University
Definable subsets of singular cardinals
Tue May 10, 2016
2:55 PM
Malott 206
Shihao XiongCornell University
Shelah's pcf theory, part IV
Wed May 11, 2016
1:30 PM
Malott 206
Shihao XiongCornell University
Shelah's pcf theory, part V
Tue May 17, 2016
2:55 PM
Malott 206
Justin MooreCornell University
Shelah's pcf theory, part VI
Wed May 18, 2016
2:55 PM
Malott 206
Hossein Lamei RamandiCornell University
Shelah's pcf theory, part VII