TY - RPRT TI - Krull dimension of types in a class of first-order theories AU - Domenico Zambella PY - 2009 UR - https://arxiv.org/abs/0812.3489 ID - 0812.3489 ER -