Аннотация:
Я продолжу доказательство изоморфизма сравнения между этальными и призматическими когомологиями, сведя общий случай к случаю полуперфектоидных алгебр с помощью спуска. Также я объясню, как случай полуперфектоидных алгебр в свою очередь сводится к перфектоидным, для которых изоморфизм сравнения уже был доказан.