Logic Seminar

Mondays and Fridays from 2:55 to 4:10 p.m. in Malott 205
E.g., 2024 Apr 18
E.g., 2024 Apr 18
Tue Sep 3, 2013
2:55 PM
Malott 206
Clinton ConleyCornell University
Brooks' theorem on standard probability spaces
Tue Sep 10, 2013
2:55 PM
Malott 206
Clinton ConleyCornell University
Brooks' theorem on standard probability spaces, part II
Wed Sep 11, 2013
4:00 PM
Malott 206
Justin MooreCornell University
An introduction to proper forcing, part I
Wed Sep 18, 2013
4:00 PM
Malott 206
Justin MooreCornell University
An introduction to proper forcing, part II
Tue Sep 24, 2013
2:55 PM
Malott 206
Diana OjedaCornell University
Finite forms of Gowers' theorem on the oscillation stability of $c_0$
Wed Sep 25, 2013
4:00 PM
Malott 206
Justin MooreCornell University
Iterated proper forcing
Tue Oct 1, 2013
2:55 PM
Malott 206
David BelangerCornell University
Saturated models and disjunctions in second-order arithmetic
Wed Oct 2, 2013
4:00 PM
Malott 206
David BelangerCornell University
Set mapping reflection
Tue Oct 8, 2013
2:55 PM
Malott 206
Adam BjorndahlCornell University
A modal parametrization of belief
Wed Oct 9, 2013
4:00 PM
Malott 206
Hossein Lamei RamandiCornell University
Minimal non $\sigma$-scattered linear orders
Wed Oct 16, 2013
4:00 PM
Malott 206
Hossein Lamei RamandiCornell University
Minimal non $\sigma$-scattered linear orders, part II
Tue Oct 22, 2013
2:55 PM
Malott 206
Jeffrey BergfalkCornell University
Devlin and Shelah's weak diamond principle
Wed Oct 23, 2013
4:00 PM
Malott 206
Andrew MarksCalifornia Institute of Technology
Games and Borel graph colorings
Tue Oct 29, 2013
2:55 PM
Malott 206
Scott MessickCornell University
Continuous automata over a compact alphabet
Wed Oct 30, 2013
4:00 PM
Malott 206
Justin MooreCornell University
Introduction to iterated totally proper forcing
Tue Nov 5, 2013
2:55 PM
Malott 206
Iian SmytheCornell University
The open coloring axiom
Wed Nov 6, 2013
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
$\omega_1$ and $-\omega_1$ may be the only minimal uncountable linear orders
Tue Nov 12, 2013
2:55 PM
Malott 206
Iain SmytheCornell University
PFA and automorphsisms of $\mathcal{P}(\mathbb{N})/\mathrm{fin}$, part I
Wed Nov 13, 2013
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
$\omega_1$ and $-\omega_1$ may be the only minimal uncountable linear orders, part II
Tue Nov 19, 2013
2:55 PM
Malott 206
Diana OjedaCornell University
The P-ideal dichotomy
Wed Nov 20, 2013
2:55 PM
Malott 206
Justin MooreCornell University
PFA implies PID
Tue Nov 26, 2013
2:55 PM
Malott 206
Iain SmytheCornell University
PFA and automorphsisms of $\mathcal{P}(\mathbb{N})/\mathrm{fin}$, part II
Tue Dec 3, 2013
2:55 PM
Malott 206
Tom KernCornell University
Memoryless determinacy of parity games
Wed Dec 4, 2013
4:00 PM
Malott 206
Scott MessickCornell University
The consistency of the Proper Forcing Axiom
Wed Dec 11, 2013
4:00 PM
Malott 206
Scott MessicakCornell University
The consistency of the Proper Forcing Axiom, part II
Thu Dec 12, 2013
2:55 PM
Malott 206
Garrett ErvinUniversity of California at Irvine
Linear orders $L$ satisfying $L^n=L$
Wed Jan 22, 2014
4:00 PM
Malott 206
Richard ShoreCornell University
Organizational meeting
Tue Jan 28, 2014
2:55 PM
Malott 206
Richard ShoreCornell University
Recursive ordinals and effective transfinite recursion (Ch. I)
Wed Jan 29, 2014
4:00 PM
Malott 206
Stephen G. SimpsonPennsylvania State University
Implicit definability in arithmetic
Tue Feb 4, 2014
2:55 PM
Malott 206
Thomas KernCornell University
S2S
Wed Feb 5, 2014
4:00 PM
Malott 206
Richard ShoreCornell University
Recursive ordinals and effective transfinite recursion (Ch. I), continued
Tue Feb 11, 2014
2:55 PM
Malott 206
Scott MessickCornell University
A locally compact monoid of measurable words
Wed Feb 12, 2014
4:00 PM
Malott 206
Ying-Ying TranCornell University
Ordinal analysis of Pi-1 sets; HYP sets are Delta-1-1 (I.5, II.1)
Wed Feb 19, 2014
4:00 PM
Malott 206
David BelangerCornell University
Delta-1-1 sets are HYP; Selection and reduction; Pi-0-2 singletons (II.2-4)
Tue Feb 25, 2014
2:55 PM
Malott 206
Robin Tucker-DrobRutgers University
On the cost of generating an inner amenable group
Wed Feb 26, 2014
4:00 PM
Malott 206
David Belanger and Jamie BarnesCornell University
Separation and reduction; Pi-0-2 singletons; Hyperarithmetic reducibility and the hyperjump (II.3,4,5,7)
Tue Mar 4, 2014
2:55 PM
Malott 206
Damir DzafarovUniversity of Connecticut, Storrs
Strong reductions between combinatorial problems
Wed Mar 5, 2014
4:00 PM
Malott 206
Jamie Barnes and Wei WuCornell University
Hyperarithmetic reducibility and the hyperjump; basis theorems (II.5, 7, III.1)
Tue Mar 11, 2014
2:55 PM
Malott 206
Julia KnightUniversity of Notre Dame
Strongly minimal theories with computable models
Wed Mar 12, 2014
4:00 PM
Malott 206
Wei WuCornell University
Unique notations and hyperarithmetic quantifiers (II.2-3)
Tue Mar 18, 2014
2:55 PM
Malott 206
Steven FloodUniversity of Connecticut, Storrs
Paths, trees, and the computational strength of some Ramsey-type theorems
Wed Mar 19, 2014
4:00 PM
Malott 206
Iian SmytheCornell University
The ramified analytic hiearchy and Kreisel compactness (III.4-5)
Tue Mar 25, 2014
2:55 PM
Malott 206
Thomas KernCornell University
A nonstandard model of the finite binary strings
Wed Mar 26, 2014
4:00 PM
Malott 206
Iian Smythe and Jeffrey BergfalkCornell University
Perfect sets and Kreisel basis theorem (III.6-7)
Tue Apr 8, 2014
2:55 PM
Malott 206
Brandon SewardUniversity of Michigan at Ann Arbor
Every action of a non-amenable group is the factor of a small action
Wed Apr 9, 2014
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Kreisle basis theorem and Pi-1-1 singletons (III.8-9)
Tue Apr 15, 2014
2:55 PM
Malott 206
Diana OjedaCornell University
Critical points in an algebra of elementary embeddings
Wed Apr 16, 2014
4:00 PM
Malott 206
Hossein Lamei RamandiCornell University
A universal Aronszajn line I
Tue Apr 22, 2014
2:55 PM
Malott 206
Hossein Lamei RamandiCornell University
A universal Aronszajn line II
Wed Apr 23, 2014
4:00 PM
Malott 206
Jun Le GohCornell University
Cohen forcing (IV.2)
Tue Apr 29, 2014
2:55 PM
Malott 206
Richard ShoreCornell University
Rigidity of the hyperdegrees
Wed Apr 30, 2014
4:00 PM
Malott 206
Jun Le GohCornell University
Perfect forcing (IV.3)
Tue May 6, 2014
2:55 PM
Malott 206
Mia MinnesUniversity of California at San Diego
Input/output machines and injection structures
Wed May 7, 2014
4:00 PM
Malott 206
Richard ShoreCornell University
Biinterpretability for the hyperdegrees