In dit project wil ik twee belangrijke topics rond het tiende probleem van Hilbert bestuderen en veralgemenen, namelijk de beslisbaarheid of onbeslisbaarheid van de existentiële theorie en de studie van Diophantische verzamelingen versus recursief opsombare verzamelingen over bepaalde klassen van velden en ringen.