TY - RPRT TI - Intermediate logics and factors of the Medvedev lattice AU - Andrea Sorbi AU - Sebastiaan A. Terwijn PY - 2006 UR - https://arxiv.org/abs/math/0606494 ID - math/0606494 ER -