TY - RPRT TI - Differential Krull dimension in differential polynomial extensions AU - Ilya Smirnov PY - 2011 UR - https://arxiv.org/abs/1103.0046 ID - 1103.0046 ER -