Dimension de Krull, Nullstellensätze et évaluation dynamique