Вы здесь

Теоретико-модельные свойства обогащенных булевых алгебр и алгебр Ершова