EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Cxx Model theory
03C85 Second- and higher-order model theory

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 9 of 9

ω-models of second order arithmetic and admissible sets

W. Marek (1978)

Fundamenta Mathematicae

Исчисление с квантором элементарной эквивалентности

А.Г. Пинус (1984)

Sibirskij matematiceskij zurnal

Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка.

А. Таутс (1990)

Sibirskij matematiceskij zurnal

О категоричности конечно-порожденных алгебраических систем и HF-логике

В.Я. Беляев, Е.Е. Лютикова, В.Н. Ремесленников, I. Ja. Beljaev (1995)

Algebra i Logika

О конструктивизациях булевых алгебр.

А.Г. Пинус (1981)

Sibirskij matematiceskij zurnal

О числах Левенгейма для скелетов многообразия булевых алгебр.

А.Г. Пинус (1991)

Algebra i Logika

Об элементарной эквивалентности топологических пространств

А.Г. Пинус (1979)

Sibirskij matematiceskij zurnal

Число Левенгейма для одного из скелетов многообразий булевых алгебр

Alexander G. Pinus (1992)

Archivum Mathematicum

Vvodyatsya ponyatiya svobodnogo èpiskeleta i chisla Levengeĭma dlya svobodnogo èpiskeleta proizvolp1nogo mnogoobraziya algebr. Dokazyvaetsya, chto chislo Levengeĭma dlya svobodnogo èpiskeleta mnogoobraziya bulevykh algebr sovpadaet s chislom Levengeĭma polnoĭ logiki vtorogo poryadka.

Элементарная эквивалентность решеток разбиений

А.Г. Пинус (1988)

Sibirskij matematiceskij zurnal

Currently displaying 1 – 9 of 9

Page 1