Рассматривается естественное обобщение свойства редукции для полимодальных алгебр доказуемости на произвольные GLP-алгебры. В частности, это свойство установлено для свободных GLP-алгебр и для некоторых топологических GLP-алгебр (GLP-пространств)
Продолжение исследования проблемы "странности" деревьев.
Построение "родственных" последовательностей автоморфизмов.