Undecidability in number theory
These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers are universally definable in the rationals.
| Main Author: | |
|---|---|
| Format: | Journal article |
| Published: |
2013
|
| _version_ | 1797072553841262592 |
|---|---|
| author | Koenigsmann, J |
| author_facet | Koenigsmann, J |
| author_sort | Koenigsmann, J |
| collection | OXFORD |
| description | These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers are universally definable in the rationals. |
| first_indexed | 2024-03-06T23:09:23Z |
| format | Journal article |
| id | oxford-uuid:64f166cd-eeb7-44f4-8b8c-56199a0d93c2 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:09:23Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | oxford-uuid:64f166cd-eeb7-44f4-8b8c-56199a0d93c22022-03-26T18:22:11ZUndecidability in number theoryJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:64f166cd-eeb7-44f4-8b8c-56199a0d93c2Symplectic Elements at Oxford2013Koenigsmann, JThese lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers are universally definable in the rationals. |
| spellingShingle | Koenigsmann, J Undecidability in number theory |
| title | Undecidability in number theory |
| title_full | Undecidability in number theory |
| title_fullStr | Undecidability in number theory |
| title_full_unstemmed | Undecidability in number theory |
| title_short | Undecidability in number theory |
| title_sort | undecidability in number theory |
| work_keys_str_mv | AT koenigsmannj undecidabilityinnumbertheory |