Семенова М. В., Замойска-Дженио А.
О решетках подклассов

Изучается строение решеток подклассов различных типов классов; среди них решетки под[квази]многообразий, а также решетки относительных [финитарных] предмногообразий. Доказана теорема редукции для [финитарных] предмногообразий, обобщающая результат В. А. Горбунова. Дан ответ на один вопрос Д. Е. Пальчунова. Установлены свойства решеток относительных подклассов, связанные с теорией вычислимости.

Semenova M. V., Zamojska-Dzienio A.
Lattices of subclasses

We investigate the structure of lattices of subclasses of different types; among those are relative sub(quasi)variety lattices as well as relative (finitary) subprevariety lattices. Among other results, we prove a reduction theorem for (finitary) subprevariety lattices which generalizes a result of V. A. Gorbunov. We also answer a question by D. E. Palchunov and provide some noncomputability properties of lattices of relative subclasses.

Полный текст статьи / Full texts:

• PDF file
• PostScript file