Logo

Mathematical Sciences Research Institute

Home » Indecomposable Polynomial Rings: Interpretability of Integers and Undecidability

Seminar

Indecomposable Polynomial Rings: Interpretability of Integers and Undecidability August 10, 2022 (02:15 PM PDT - 03:00 PM PDT)
Parent Program:
Location: MSRI: Simons Auditorium, Online/Virtual
Speaker(s) Eudes Naziazeno (Federal University of Pernambuco)
Description No Description
Video

Indecomposable Polynomial Rings: Interpretability Of Integers And Undecidability

Abstract/Media

It will be proved (actually an overview) that the ring of the rational integers is interpretable in indecomposable polynomial rings, leading us to the undecidability of their full theory. Alternatively, it will be shown a method (inspired on Raphael Robinson's work) to prove by other means the same result on undecidability. This talk is based on a joint work with Marco Barone and Nicol\'as Caro.

No Notes/Supplements Uploaded

Indecomposable Polynomial Rings: Interpretability Of Integers And Undecidability