Logo

Mathematical Sciences Research Institute

Home » Topical Workshop: Decidability, definability and computability in number theory

Workshop

Topical Workshop: Decidability, definability and computability in number theory December 07, 2020 - December 11, 2020
Registration Deadline: December 11, 2020 8 months from now
To apply for Funding you must register by: September 07, 2020 5 months from now
Parent Program:
Location: MSRI: Simons Auditorium, Atrium
Organizers Julia Knight (University of Notre Dame), François Loeser (Université de Paris VI (Pierre et Marie Curie)), Maryanthe Malliaris (University of Chicago), LEAD Thomas Scanlon (University of California, Berkeley)
Description
Image edited
Title page of Diophantus' Arithmetica - ETH Zurich
The conference will focus broadly on interactions of problems in number theory with definability from model theory and decidability from computability theory. This is the final program conference for our semester and will serve to showcase significant recent work in the area including the developments during the program.  We hope the conference will also provide an occasion to reflect on the key future directions and open problems in this emerging area, and thus to direct the momentum of the semester towards future work.
Keywords and Mathematics Subject Classification (MSC)
Tags/Keywords
  • number theory

  • logic

  • model theory

  • decidability

  • definability

  • computability and recursion

  • undecidability

  • field theory

  • polynomials

Primary Mathematics Subject Classification
Secondary Mathematics Subject Classification No Secondary AMS MSC
Funding & Logistics Show All Collapse

Show Funding

To apply for funding, you must register by the funding application deadline displayed above.

Students, recent Ph.D.'s, women, and members of underrepresented minorities are particularly encouraged to apply. Funding awards are typically made 6 weeks before the workshop begins. Requests received after the funding deadline are considered only if additional funds become available.

Show Lodging

MSRI does not hire an outside company to make hotel reservations for our workshop participants, or share the names and email addresses of our participants with an outside party. If you are contacted by a business that claims to represent MSRI and offers to book a hotel room for you, it is likely a scam. Please do not accept their services.

MSRI has preferred rates at the Hotel Shattuck Plaza, depending on room availability. Guests can call the hotel's main line at 510-845-7300 and ask for the MSRI- Mathematical Science Research Institute discount. To book online visit this page (the MSRI rate will automatically be applied).

MSRI has preferred rates at the Graduate Berkeley, depending on room availability. Reservations may be made by calling 510-845-8981. When making reservations, guests must request the MSRI preferred rate. Enter in the Promo Code MSRI123 (this code is not case sensitive).

MSRI has preferred rates at the Berkeley Lab Guest House, depending on room availability. Reservations may be made by calling 510-495-8000 or directly on their website. Select "Affiliated with the Space Sciences Lab, Lawrence Hall of Science or MSRI." When prompted for your UC Contact/Host, please list Chris Marshall (coord@msri.org).

MSRI has a preferred rates at Easton Hall and Gibbs Hall, depending on room availability. Guests can call the Reservations line at 510-204-0732 and ask for the MSRI- Mathematical Science Research Inst. rate. To book online visit this page, select "Request a Reservation" choose the dates you would like to stay and enter the code MSRI (this code is not case sensitive).

Additional lodging options may be found on our short term housing page.

Show Directions to Venue

Show Visa/Immigration

Show Reimbursement Guidelines

Show MSRI Collegiality Statement