Ghent University Academic Bibliography


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

project duration
01-OCT-09 – 30-SEP-11
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.