СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Пинус А. Г. Об элементарных теориях полурешеток частичных порядков на множествах // Том 39 (1998), Номер 3, стр. 590–592
Доказывается, что в элементарной теории полурешеток частичных
порядков на множествах интерпретируется логика второго порядка. Библиогр.~2.
© Сибирский Математический Журнал, 2003-2006