Элементарная эквивалентность решеток разбиений

Доказывается, что решетки разбиений двух множеств элементарно эквивалентны тогда и только тогда, когда совпадают теории этих множеств в полной логике $2$-го порядка.
Библиогр. 2.