Ghent University Academic Bibliography

Advanced

Project: Undecidabilityproblems and Diophantic sets over polynomial rings and function fields.

project duration
01-OCT-09 – 30-SEP-11
abstract
This project aims to study and generalize two important topics originating from Hilbert's tenth problem, namely the decidability or undecidability of the existential theory and the study of Diophantine sets versus recursively enumerable sets over certain classes of fields and rings.