Гипотеза Вота для модулей над коммуникативным прюферовым кольцом

Гипотеза Вота утверждает, что для счетной (полной) теории первого порядка $T$ число неизоморфных счетных моделей теории $T$ либо счетно, либо континуально. Доказывается, что гипотеза Вота верна для модулей над счетным коммутативным прюферовым кольцом. Кроме того, показывается, что подтверждение гипотезы Вота для модулей над $1$-мерной нётеровой областью означало бы справедливость этой гипотезы для модулей над произвольной конечно представимой алгеброй.