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)
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
Generic Muchnik reducibility and enumerations of ideals
Speaker: Joseph Miller
December 10, 2020 (09:00 AM PST - 10:00 AM PST)
More Information
The big Ramsey degree of the rationals and the Rado graph and computability theory
Speaker: Peter Cholak
December 11, 2020 (09:00 AM PST - 10:00 AM PST)
More Information