Logo

Mathematical Sciences Research Institute

Home > Scientific > Colloquia & Seminars > Fall 2020 Seminars > DDC Computability Theory

DDC: Computability Theory (Fall 2020)

DDC Computability Theory

Alternating Thursdays and Fridays at 9:00am Pacific Time
Organizer: Valentina Harizanov

Hilbert’s Tenth Problem was the only decision problem among his twenty-three problems. Precise mathematical theory of (in)computability and its interaction with number theory led to the negative solution of the problem. The seminar will focus on modern topics on computability-theoretic phenomena in number-theoretic and other algebraic and model-theoretic structures.


Complexity profiles and the generic Muchnik degree

Speaker: Uri Andrews
August 27, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Cardinal characteristics and the generic Muchnik degrees

Speaker: Uri Andrews
September 04, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


The word problem for groups

Speaker: Meng-Che Ho
September 10, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Effective ringed spaces and Turing degrees of isomorphism types

Speaker: Wesley Calvert
September 18, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Effective coding and decoding in classes of structures

Speaker: Alexandra Soskova
September 24, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Generically computable structures

Speaker: Douglas Cenzer
October 02, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Milliken's tree theorem and computability theory

Speaker: Damir Dzhafarov

October 08, 2020 (09:00 AM PDT - 10:00 AM PDT)

More Information


Effectiveness aspects of Hindman’s Theorem

Speaker: Reed Solomon
October 16, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Indestructibility on sets of positive upper density

Speaker: Rehana Patel
October 22, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Cohesive powers of linear orders

Speaker: Paul Shafer
October 30, 2020 (09:00 AM PDT - 10:00 AM PDT)
More Information


Complexity of root-taking in power series fields & related problems

Speaker: Karen Lange
November 05, 2020 (09:00 AM PST - 10:00 AM PST)
More Information


A topological approach to undefinability in algebraic extensions of the rationals

Speaker: Linda Westrick
November 13, 2020 (09:00 AM PST - 10:00 AM PST)
More Information


Effective Hausdorff dimension and applications

Speaker: Theodore Slaman
November 19, 2020 (09:00 AM PST - 10:00 AM PST)
More Information


Degree spectra of analytic complete equivalence relations

Speaker: Dino Rossegger
December 3, 2020 (09:00 AM PST - 10:00 AM PST)
More Information


TBA

Speaker: Joseph Miller
December 10, 2020 (09:00 AM PST - 10:00 AM PST)
More Information


TBA

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