Seminar
| Parent Program: | |
|---|---|
| Location: | SLMath: Eisenbud Auditorium, Online/Virtual |
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
Indecomposable Polynomial Rings: Interpretability Of Integers And Undecidability
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