Andrea Sorbi Sebastiaan Terwijn Intermediate logics and factors of the Medvedev lattice. 69-85 2008 155 Ann. Pure Appl. Logic 2 http://dx.doi.org/10.1016/j.apal.2008.03.002 db/journals/apal/apal155.html#SorbiT08