Hilberts zehntes Problem: Verfeinerungen und Varianten