Logic Seminar

Mondays and Fridays from 2:55 to 4:10 p.m. in Malott 205
E.g., 2025 Jun 11
E.g., 2025 Jun 11
Wed Aug 27, 2014
4:00 PM
Malott 206
Justin MooreCornell University
Malliaris and Shelah's proof of $p=t$
Tue Sep 2, 2014
2:55 PM
Malott 206
Dimitris VlitasCornell University
An introduction to Ramsey spaces
Wed Sep 3, 2014
4:00 PM
Malott 206
No talk today
Tue Sep 9, 2014
2:55 PM
Malott 206
Dimitris VlitasCornell University
An introduction to Ramsey spaces, part II
Wed Sep 10, 2014
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Strong homology and set theory, part I
Tue Sep 16, 2014
2:55 PM
Malott 206
Dimitris VlitasCornell University
An infinite self dual Ramsey theorem
Wed Sep 17, 2014
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Strong homology and set theory, part II
Tue Sep 23, 2014
2:55 PM
Malott 206
Richard ShoreCornell University
The strength of determinacy and Turing degrees in second order arithmetic
Wed Sep 24, 2014
4:00 PM
Malott 206
Iian SmytheCornell University
Turbulence and non-classifiability of projections in the Calkin algebra
Tue Oct 7, 2014
2:55 PM
Malott 206
Hossein Lamei-RamandiCornell University
Iterated proper forcing and the Continuum Hypothesis, part I
Wed Oct 8, 2014
4:00 PM
Malott 206
Hossein Lamei-RamandiCornell University
Iterated proper forcing and the Continuum Hypothesis, part II
Wed Oct 15, 2014
4:00 PM
Malott 206
Hossein Lamei-RamandiCornell University
omega1 and -omega1 may be the only minimal uncountable linear orders
Tue Oct 21, 2014
2:55 PM
Malott 206
David BelangerCornell University
A non-uniqueness theoren for jumps of ideals, part II
Wed Oct 22, 2014
4:00 PM
Malott 206
James BarnesCornell University
The Sigma2 theory of the upper semi-lattice of the Turing degrees
Tue Oct 28, 2014
2:55 PM
Malott 206
Jeffrey BergfalkCornell University
Strong homology and set theory, part 3
Wed Oct 29, 2014
4:00 PM
Malott 206
Justin MooreCornell University
Malliaris and Shelah's proof that p=t, part II
Tue Nov 4, 2014
2:55 PM
Malott 206
Iian SmytheCornell University
Metrizability of seperable Frechet groups, part I
Wed Nov 5, 2014
4:00 PM
Malott 206
Justin MooreCornell University
Malliaris and Shelah's proof that p=t, part III
Tue Nov 11, 2014
2:55 PM
Malott 206
Iian SmytheCornell University
Metrizability of seperable Frechet groups, part II
Wed Nov 12, 2014
4:00 PM
Malott 206
Scott MessickCornell University
Existence and stability of continuous automata
Tue Nov 18, 2014
2:55 PM
Malott 206
Iian SmytheCornell University
Metrizability of seperable Frechet groups, part III
Wed Nov 19, 2014
4:00 PM
Malott 206
Thomas KernCornell University
Axiomatizing the weak second order theory of one successor
Tue Nov 25, 2014
2:55 PM
Malott 206
Dimitris VlitasCornell University
A canonical partition theorem for uniform families of finite strong subtrees
Wed Dec 3, 2014
4:00 PM
Malott 206
Stevo TodorcevicUniversity of Toronto and CNRS
The Halpern-Lauchli theorem and the boolean prime ideal theorem
Wed Jan 21, 2015
4:00 PM
Malott 206
Scott MessickCornell University
A set-theoretic interpretation of the BHK semantics for minimal and intuitionistic propositional logic
Tue Jan 27, 2015
2:55 PM
Malott 206
Abhishek AnandCornell University
Introduction to Martin-Löf type theory
Wed Jan 28, 2015
4:00 PM
Malott 206
Abhishek AnandCornell University
Introduction to Martin-Löf type theory, part II
Tue Feb 3, 2015
2:55 PM
Malott 206
Ross TateCornell University
Introduction to type theory applied to topology I
Wed Feb 4, 2015
4:00 PM
Malott 206
Ross TateCornell University
Introduction to type theory applied to topology II
Tue Feb 10, 2015
2:55 PM
Malott 206
Mark BickfordCornell University
Constructing models of HOTT
Wed Feb 18, 2015
4:00 PM
Malott 206
Mark BickfordCornell University
Constructing models of HOTT, part II
Tue Feb 24, 2015
2:55 PM
Malott 206
Tom KernCornell University
Myhill-Nerode theorem for bounded treewidth graphs
Wed Feb 25, 2015
4:00 PM
Malott 206
James CummingsCarnegie Mellon University
HOD can be very far from V
Wed Mar 4, 2015
4:00 PM
Malott 206
Marcin SabokMcGill University
The topological conjugacy relation of free minimal G-subshifts
Tue Mar 10, 2015
2:55 PM
Malott 206
Scott MessickCornell University
Young measures and compact continuous automata
Wed Mar 11, 2015
4:00 PM
Malott 206
Sergei ArtemovCUNY
Syntactic epistemic logic and games
Tue Mar 17, 2015
2:55 PM
Malott 206
John HubbardCornell University
The Quillen-Sullivan on rational homotopy type
Wed Mar 18, 2015
4:30 PM
Malott 406
Vladimir VoevodskyInstitute for Advanced Study
Creating mathematics with proof assistants for type theory
Tue Mar 24, 2015
2:55 PM
Malott 206
Tom KernCornell University
Courcelle's theorem
Wed Mar 25, 2015
4:00 PM
Malott 206
Scott MessickCornell University
Young measures and compact continuous automata, part II
Tue Apr 7, 2015
2:55 PM
Malott 206
Jun Le GohCornell University
Harrington's proof of $\Pi^1_1$ conservativity of WKL0 over RCA0
Wed Apr 8, 2015
4:00 PM
Malott 206
David BelangerCornell University
Conservativity with respect to $\Pi^1_1$ formulae of COH over RCA + BSigma2
Tue Apr 14, 2015
2:55 PM
Malott 206
Robert LubarskyFlorida Atlantic University
Model theoretic constructivism I
Wed Apr 15, 2015
4:00 PM
Malott 206
Robert LubarskyFlorida Atlantic University
Model theoretic constructivism II
Tue Apr 21, 2015
2:55 PM
Malott 206
Iian SmytheCornell University
Quantum filters and set theory I
Wed Apr 22, 2015
4:00 PM
Malott 206
Scott CramerRutgers University
Tree representations from very large cardinals
Tue Apr 28, 2015
2:55 PM
Malott 206
Iian SmytheCornell University
Quantum filters and set theory II
Wed Apr 29, 2015
4:00 PM
Malott 206
Jeffrey BergfalkCornell University
Higher derived limits and set theory
Tue May 5, 2015
2:55 PM
Malott 206
David BelangerCornell University
Exposition of thesis
Wed May 6, 2015
4:00 PM
Malott 206
Andrew HirschCornell University
Linear logic and the semantics of programs