Seminar
| Parent Program: | |
|---|---|
| Location: | SLMath: Online/Virtual |
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
Decidability And Algebraic Extensions Of The Rational Numbers
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
Julia Robinson proved that the first-order theory of rational numbers is undecidable, and extended her result to all number fields. However, the situation gets more complicated for infinite algebraic extensions of the rationals. Examples show that some infinite algebraic extensions are undecidable, while others are not, and the whole story remains unknown. This talk will give an overview of some of the known results, including necessary definability results, and present new examples of undecidable totally imaginary fields.
No Notes/Supplements UploadedDecidability And Algebraic Extensions Of The Rational Numbers
| H.264 Video | 25224_28774_8470_Decidability_and_Algebraic_Extensions_of_the_Rational_Numbers.mp4 |