Project

Undecidabilityproblems and Diophantic sets over polynomial rings and function fields.