Logic Seminar

Tuesdays at 2:55 PM and Wednesdays at 4:00 PM in Malott 206
Organized by: Slawomir Solecki

The topic for fall 2017 will be a new view of computable structure theory. Visit the seminar homepage for more information.

E.g., 2019 Dec 11
E.g., 2019 Dec 11
Tue Sep 3, 2019
2:55 PM
Malott 206
Justin Moore
Organizational meeting
Wed Sep 11, 2019
4:00 PM
Malott 206
Justin MooreCornell University
The \(L(\mathbf{R})\) absoluteness theorem
Tue Sep 17, 2019
2:55 PM
Malott 206
Richard ShoreCornell University
Almost Theorems of Hyperarithmetic Analysis
Wed Sep 18, 2019
4:00 PM
Malott 206
Justin MooreCornell University
Woodin's \(\mathbb{P}_{\mathrm{max}}\)-extension
Wed Sep 25, 2019
4:00 PM
Malott 206
Jan HubičkaCharles University
Big Ramsey degrees of hypergraphs
Fri Sep 27, 2019
3:45 PM
205 Malott
Matej KonecnyCharles University
Extending partial automorphisms of structures
Tue Oct 1, 2019
2:55 PM
Malott 206
Ellie LauriCornell University
The forcing axiom for Namba forcing
Wed Oct 2, 2019
4:00 PM
Malott 206
Philip SinkCornell University
Saturation of the nonstationary ideal and $\delta^1_2$, part 1: iterated generic ultrapowers
Tue Oct 8, 2019
2:55 PM
Malott 206
Shihao XiongCornell University
Higher Open Coloring Axiom in the Generalized Solovay Model
Wed Oct 9, 2019
4:00 PM
Malott 206
Nathaniel BannisterCornell University
Saturation of the nonstationary ideal and $\delta^1_2$, part 2: iterability
Wed Oct 23, 2019
4:00 PM
Malott 206
Sebastian JungeCornell University
The $\mathbb{P}_{\mathrm{max}}$-extension: basic definitions and basic analysis
Tue Oct 29, 2019
2:55 PM
Malott 206
Justin MooreCornell University
Title TBA
Wed Oct 30, 2019
4:00 PM
Malott 206
Sebastian JungeCornell University
The $\mathbb{P}_{\mathrm{max}}$-extension: homogeneity
Tue Nov 5, 2019
2:55 PM
Malott 206
Stevo TodorcevicUniversity of Toronto
Five cofinal types
Wed Nov 6, 2019
4:00 PM
Malott 206
Luke SerafinCornell University
The $\mathbb{P}_{\mathrm{max}}$-extension: countable closure
Tue Nov 12, 2019
2:55 PM
Malott 206
Todd EisworthOhio University
An introduction to cov vs pp
Wed Nov 13, 2019
4:00 PM
Malott 206
Luke SerafinCornell University
The $\mathbb{P}_{\mathrm{max}}$-extension: existence of conditions
Tue Nov 19, 2019
2:55 PM
Malott 206
Matthew Harrison-TrainorVictoria University of Wellington
The Complexity of Descriptions
Wed Nov 20, 2019
4:00 PM
Malott 206
Ellie LauriCornell University
The $\mathbb{P}_{\mathrm{max}}$-extension and the axiom of choice
Tue Nov 26, 2019
2:55 PM
Malott 206
Philip SinkCornell University
Arithmetical Completeness of LP(CS)
Tue Dec 3, 2019
2:55 PM
Malott 206
William SimmonsHobart and William Smith Colleges
Mining for bounds: Ultraproducts, proof transformations, and effective algebra.
Wed Dec 4, 2019
4:00 PM
Malott 206
Ellie LauriCornell University
The $\mathbb{P}_{\mathrm{max}}$-extension and the maximum $\Pi_2$-theory of $H_{\aleph_2}$.
Tue Dec 10, 2019
2:55 PM
Malott 206
Shihao XiongCornell University
Aronszajn and Kurepa Trees
Wed Dec 11, 2019
4:00 PM
Malott 206
Anthony Graves-McClearyCornell University
An Independence Result in Analysis