Сиб. матем. журн.,
1998, том 39, номер 3, страницы 590–592
(Mi smj260)
|
Об элементарных теориях полурешеток частичных порядков на множествах
А. Г. Пинус
Аннотация:
Доказывается, что в элементарной теории полурешеток частичных порядков на множествах интерпретируется логика второго порядка.
Библиогр. 2.
УДК:
512.8
Статья поступила: 29.10.1996
© , 2024
Полный текст:
PDF файл (304 kB)
