Logo

Mathematical Sciences Research Institute

Home > Scientific > Colloquia & Seminars > Fall 2020 Seminars > DDC: Definability Seminar

DDC: Definability Seminar (Fall 2020)

Decidability, Definability, and Computability in Number Theory


DDC Definability Seminar
Wednesdays at 10:00am Pacific Time
Organizers: Kirsten Eisentraeger and Jennifer Park
Note: will not meet every Wednesday


Decidability and algebraic extensions of the rational numbers

Speaker: Caleb Springer
September 02, 2020 (10:00 AM PDT - 11:00 AM PDT)
More Information


What is existentially definable in between $\Q$ and $\Z$?

Speaker: Alexandra Shlapentokh
September 30, 2020 (10:00 AM PDT - 11:00 AM PDT)
More Information


Defining subrings using Kato principles

Speaker: Philip Dittmann
October 14, 2020 (10:00 AM PDT - 11:00 AM PDT)
More Information


New cases of Hilbert's Tenth problem for rings of integers of number fields

Speaker: Natalia Garcia-Fritz
October 28, 2020 (10:00 AM PDT - 11:00 AM PDT)
More Information


Definable sets in complete unramified valued fields of mixed characteristic

Speaker: Sylvy Anscombe
November 11, 2020 (10:00 AM PST - 11:00 AM PST)
More Information


Composita of symmetric extensions of Q

Speaker: Aharon Razon
November 18, 2020 (10:00 AM PST - 11:00 AM PST)
More Information


Improving Weil bounds for abelian varieties

Speaker: Borys Kadets
November 25, 2020 (10:00 AM PST - 11:00 AM PST)
More Information


Remarks to a question of Julia Robinson

Speaker: Carlos Videla
December 02, 2020 (10:00 AM PST - 11:00 AM PST)
More Information


TBA

Speaker: TBA
December 09, 2020 (10:00 AM PST - 11:00 AM PST)
More Information


TBA

Speaker: TBA
December 16, 2020 (10:00 AM PST - 11:00 AM PST)
More Information