Advanced search
1 file | 1.14 MB

Undecidability problems and diophantine sets over polynomial rings and function fields

(2013)
Author
Promoter
(UGent) and (UGent)
Organization
Abstract
In dit proefschrift bewijzen we het negatieve antwoord op Hilberts tiende probleem voor rationale functievelden in één variabele over een p-adisch veld. Wat betreft de sterkere DPRM-stelling, bewijzen we dat recursief opsombare verzamelingen diophantisch zijn voor de veeltermring in één variabele over bepaalde algebraïsche uitbreidingen van de rationale getallen. Oorspronkelijk formuleerde Hilbert zijn tiende probleem voor de gehele getallen. Hij vroeg of er een algoritme bestaat, met als input een veelterm over de gehele getallen in een willekeurig aantal variabelen, dat beslist of de gegeven veelterm een oplossing in de gehele getallen heeft of niet. Matiyasevich bewees, verder bouwend op werk van Davis, Putnam en Robinson, dat recursief opsombare verzamelingen in de gehele getallen diophantisch zijn (DPRM-stelling). Dit had als gevolg het negatieve antwoord op Hilberts tiende probleem, dus zo'n algoritme bestaat niet. Dit proefschrift kadert in het onderzoek naar Hilberts tiende probleem en de DPRM-stelling voor andere ringen en velden.

Downloads

  • thesis.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 1.14 MB

Citation

Please use this url to cite or link to this publication:

Chicago
Degroote, Claudia. 2013. “Undecidability Problems and Diophantine Sets over Polynomial Rings and Function Fields”. Ghent, Belgium: Ghent University. Faculty of Sciences.
APA
Degroote, C. (2013). Undecidability problems and diophantine sets over polynomial rings and function fields. Ghent University. Faculty of Sciences, Ghent, Belgium.
Vancouver
1.
Degroote C. Undecidability problems and diophantine sets over polynomial rings and function fields. [Ghent, Belgium]: Ghent University. Faculty of Sciences; 2013.
MLA
Degroote, Claudia. “Undecidability Problems and Diophantine Sets over Polynomial Rings and Function Fields.” 2013 : n. pag. Print.
@phdthesis{3824342,
  abstract     = {In dit proefschrift bewijzen we het negatieve antwoord op Hilberts tiende probleem voor rationale functievelden in één variabele over een p-adisch veld. Wat betreft de sterkere DPRM-stelling, bewijzen we dat recursief opsombare verzamelingen diophantisch zijn voor de veeltermring in één variabele over bepaalde algebraïsche uitbreidingen van de rationale getallen. Oorspronkelijk formuleerde Hilbert zijn tiende probleem voor de gehele getallen. Hij vroeg of er een algoritme bestaat, met als input een veelterm over de gehele getallen in een willekeurig aantal variabelen, dat beslist of de gegeven veelterm een oplossing in de gehele getallen heeft of niet. Matiyasevich bewees, verder bouwend op werk van Davis, Putnam en Robinson, dat recursief opsombare verzamelingen in de gehele getallen diophantisch zijn (DPRM-stelling). Dit had als gevolg het negatieve antwoord op Hilberts tiende probleem, dus zo'n algoritme bestaat niet. Dit proefschrift kadert in het onderzoek naar Hilberts tiende probleem en de DPRM-stelling voor andere ringen en velden.},
  author       = {Degroote, Claudia},
  language     = {eng},
  pages        = {125},
  publisher    = {Ghent University. Faculty of Sciences},
  school       = {Ghent University},
  title        = {Undecidability problems and diophantine sets over polynomial rings and function fields},
  year         = {2013},
}