Элементарная эквивалентность решеток подалгебр свободных алгебр

Определяется класс многообразий $V$ (включающий в себя все конечно базируемые многообразия решеток), для которых элементарная эквивалентность решеток подалгебр свободных $V$-алгебр $F_V(X)$ и $F_V(Y)$ равносильна эквивалентности множеств $X$ и $Y$ в логике второго порядка.