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.