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
03C57 Effective and recursion-theoretic 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

Previous Page 4 Next

Displaying 61 – 80 of 134

Индексные множества классов гипер-гиперпростых множеств

В.Л. Селиванов (1990)

Algebra i Logika

Количество конечно аксиоматизируемых пополнений.

С.С. Заурбеков (1991)

Sibirskij matematiceskij zurnal

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

В.Д. Дзгоев (1982)

Algebra i Logika

Конструктивизируемость булевых алгебр элементарной характеристики $ℤ_{2^{m}}$ .

В.Н. Власов, V. N. Vlasov, V. N. Vlasov, V. N. Vlasov (1998)

Algebra i Logika

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

П.Е. Алаев (2003)

Algebra i Logika

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

Ю.Г. Венцов, Ju. G. Vencov, Ǔ. G. Vencov, Ju. G. Vencov (1994)

Algebra i Logika

Конструктивные однородные расширения.

А.С. Денисов (1984)

Sibirskij matematiceskij zurnal

Критерий автоустойчивости 1-разрешимых моделей

О.В. Кудинов (1992)

Algebra i Logika

Критерий конструктивизируемости абелевой группы.

Н.Г. Хисамиев (1999)

Algebra i Logika

Критерий сильной конструктивизируемости одного класса абелевых p-групп.

К.Т. Абдразаков, Н.Г. Хисамиев (1984)

Sibirskij matematiceskij zurnal

Локальные классы и вычислимые индексации

В.П. Добрица (1987)

Algebra i Logika

Моноиды с разрешимыми и неразрешимыми классами полигонов

A.A. Stepanova, А.А. Степанова, A.A. Stepanova, A.A. Stepanova (1998)

Sibirskij matematiceskij zurnal

Некоторые свойства автоустойчивых моделей

О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1996)

Algebra i Logika

Некоторые свойства алгебраической сводимости конструктивизаций

С.Т. Федоряев (1990)

Algebra i Logika

Неравномерная автоустойчивость моделей

Ю.Г. Венцов (1987)

Algebra i Logika

Неразрешимость теории решетки $L_{s m}^{0}$ .

Т.В. Рыбина (1990)

Sibirskij matematiceskij zurnal

Нумерованные алгебры с равномерно рекурсивно отделимыми классами

Н.Х. Касымов (1993)

Sibirskij matematiceskij zurnal

О $94_{3}^{0}$ -категоричности для линейных порядков и булевых алгебр.

Ч.Ф.Д. Мак-Кой (2002)

Algebra i Logika

О внутренней перечислимости линейных порядков

А.Н. Хисамиев (2000)

Algebra i Logika

О вычислимости над моделями разрешимых теорий

В.Г. Пузаренко (2000)

Algebra i Logika

Currently displaying 61 – 80 of 134

Previous Page 4 Next