pi.math.cornell.edu | Department of Mathematics

Logic Seminar

Tuesdays at 2:55 PM and Wednesdays at 4:00 PM in Malott 206

The topic for fall 2017 will be a new view of computable structure theory.

Tue Aug 22, 2017

2:55 PM

Malott 206

Russell MillerQueens College and CUNY Graduate Center

Hilbert's tenth problem for subrings of the rationals

Wed Aug 23, 2017

4:00 PM

Malott 206

Russell MillerQueens College and CUNY Graduate Center

Classification and measure for algebraic fields

Tue Aug 29, 2017

2:55 PM

Malott 206

Organizational meeting

Wed Aug 30, 2017

4:00 PM

Malott 206

No talk today

Tue Sep 5, 2017

2:55 PM

Malott 206

Scott Messick

A history of foundations with a bias toward

λ

$\lambda$ -calculus and type-free systems

Wed Sep 6, 2017

4:00 PM

Malott 206

Richard ShoreCornell University

Computable structure theory, Ch. I, II: Structures and...

Tue Sep 12, 2017

2:55 PM

Malott 206

Scott Messick

A history of foundations with a bias toward

λ

$\lambda$ -calculus and type-free systems, part 2

Wed Sep 13, 2017

2:55 PM

Malott 206

James BarnesCornell University

Computable structure theory, Ch. II, III: Relations and...

Tue Sep 19, 2017

2:55 PM

Malott 206

Jun Le GohCornell University

Computable structure theory, Ch. III: Relations and existentially-atomic models part I

Wed Sep 20, 2017

4:00 PM

Malott 206

Hossein Lamei RamandiCornell University

A club minimal Kurepa tree I

Tue Sep 26, 2017

2:55 PM

Malott 206

Linda Brown WestrickUniversity of Connecticut, Storrs

Increasing dimension

s

$s$ to dimension

t

$t$ with few changes

Wed Sep 27, 2017

4:00 PM

Malott 206

Jun Le GohCornell University

Computable structure theory, Ch. III: Existentially-atomic models part II

Tue Oct 3, 2017

2:55 PM

Malott 206

Jun Le GohCornell University

Computable structure theory, Ch. III: Existentially-atomic models part III

Wed Oct 4, 2017

4:00 PM

Malott 206

Hossein Lamei RamandiCornell University

A club minimal Kurepa tree II

Wed Oct 11, 2017

4:00 PM

Malott 206

Romin AbdolahzadiCornell University

Detecting automorphism groups interpretably

Tue Oct 17, 2017

2:55 PM

Malott 206

Matthew Harrison-TrainorUniversity of Waterloo

Scott ranks of computable structures

Wed Oct 18, 2017

4:00 PM

Malott 206

Matthew Harrison-TrainorUniversity of Waterloo

Some computable structure theory of finitely generated structures

Tue Oct 24, 2017

2:55 PM

Malott 206

Jeffrey BergfalkCornell University

Computable structures IV: generic presentations

Wed Oct 25, 2017

4:00 PM

Malott 206

Richard ShoreCornell University

Gowers'

F i n_{k}

$Fin_k$ theorem: an elementary proof and equivalence with iterated Hindman's theorem I

Tue Oct 31, 2017

2:55 PM

Malott 206

Antonio MontalbanUniversity of California at Berkeley

Computable structure theory as group actions

Wed Nov 1, 2017

4:00 PM

Malott 206

Richard ShoreCornell University

Gowers'

F i n_{k}

$Fin_k$ theorem: an elementary proof and equivalence with iterated Hindman's theorem II

Tue Nov 7, 2017

2:55 PM

Malott 206

Shihao XiongCornell University

Computable structures V: degree spectra I

Wed Nov 8, 2017

4:00 PM

Malott 206

Viktor KissCornell University

A game characterizing Baire class 1 functions

Tue Nov 14, 2017

2:55 PM

Malott 206

Slawek SoleckiCornell University

Menger compacta and simplexes through projective Fraisse limits I

Wed Nov 15, 2017

4:00 PM

Malott 206

Julia GordonCornell University and University of British Columbia

Motivic integration on p-adic fields

Tue Nov 21, 2017

2:55 PM

Malott 206

Slawek SoleckiCornell University

Menger compacta and simplexes through projective Fraisse limits II

Tue Nov 28, 2017

2:55 PM

Malott 206

Shihao XiongCornell University

Computable structures V: degree spectra II

Wed Nov 29, 2017

4:00 PM

Malott 206

Liat KesslerCornell University and University of Haifa

Holomorphic shadows in the eyes of model theory

Wed Jan 24, 2018

4:00 PM

Malott 206

Organizational meeting

Tue Jan 30, 2018

2:55 PM

Malott 206

Hossein Lamei Ramandi Cornell University

A new minimal non

σ

$\sigma$ -scattered linear order

Wed Jan 31, 2018

4:00 PM

Malott 206

Slawomir SoleckiCornell University

Extensions of partial isomorphisms

Tue Feb 6, 2018

2:55 PM

Malott 206

Jeffrey BergfalkCornell University

The first

ω

$\omega$ alephs

Wed Feb 7, 2018

4:00 PM

Malott 206

Slawomir SoleckiCornell University

Extensions of partial isomorphisms

Tue Feb 13, 2018

2:55 PM

Malott 206

Jeffrey BergfalkCornell University

The first

ω

$\omega$ alephs

Wed Feb 14, 2018

4:00 PM

Malott 206

Slawomir Solecki and Sebastian JungeCornell University

Extensions of partial isomorphisms

Wed Feb 21, 2018

4:00 PM

Malott 206

Sebastian JungeCornell University

Extensions of partial isomorphisms

Tue Feb 27, 2018

2:55 PM

Malott 206

Slawomir SoleckiCornell University

Orbit equivalence relations induced by actions of Polish groups

Wed Feb 28, 2018

4:00 PM

Malott 206

Hossein Lamei Ramandi Cornell University

Extensions of partial isomorphisms

Tue Mar 6, 2018

2:55 PM

Malott 206

Slawomir SoleckiCornell University

Orbit equivalence relations induced by actions of Polish groups, part 2

Wed Mar 7, 2018

4:00 PM

Malott 206

Hossein Lamei RamandiCornell University

Extensions of partial isomorphisms

Tue Mar 13, 2018

2:55 PM

Malott 206

Jeffrey BergfalkCornell University

Turbulence of Polish group actions, an introduction

Wed Mar 14, 2018

4:00 PM

Malott 206

Shihao XiongCornell University

Extensions of partial isomorphisms

Tue Mar 20, 2018

2:55 PM

Malott 206

Jun Le GohCornell University

Turbulence of Polish group actions

Wed Mar 21, 2018

2:55 PM

Malott 206

Shihao XiongCornell University

Extensions of partial isomorphisms

Tue Mar 27, 2018

2:55 PM

Malott 206

No talk today

Wed Mar 28, 2018

4:00 PM

Malott 206

Shihao XiongCornell University

Extensions of partial isomorphisms

Tue Apr 10, 2018

2:55 PM

Malott 206

Jun Le GohCornell University

Turbulence of Polish group actions

Tue Apr 10, 2018

2:55 PM

Malott 206

Jun Le GohCornell University

Turbulence of Polish group actions

Wed Apr 11, 2018

4:00 PM

Malott 206

Viktor KissCornell University

Extensions of partial isomorphisms

Tue Apr 17, 2018

2:55 PM

Malott 206

Jefferey BergfalkCornell University

Unitary equivalence of automorphisms of separable

C^{*}

$C^*$ algebras, I

Wed Apr 18, 2018

4:00 PM

Malott 206

Viktor KissCornell University

Extensions of partial isomorphisms

Tue Apr 24, 2018

2:55 PM

Malott 206

Jeffrey BergfalkCornell University

Unitary equivalence of automorphisms of separable

C^{*}

$C^*$ algebras, II

Wed Apr 25, 2018

4:00 PM

Malott 206

Viktor KissCornell University

Extensions of partial isomorphisms

Wed May 2, 2018

4:00 PM

Malott 206

Sebastian JungeCornell University

Extensions of partial isomorphisms

Tue May 8, 2018

2:55 PM

Malott 206

John KruegerUniversity of North Texas

A forcing axiom for a non-special Aronszajn tree

Wed May 9, 2018

4:00 PM

Malott 206

Slawomir SoleckiCornell University

Generic measure preserving transformations

Thu May 24, 2018

10:30 AM

Malott 206

Dilip RaghavanNational University of Singapore

Proof of a conjecture of Galvin