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
03Dxx Computability and recursion theory
03D45 Theory of numerations, effectively presented structures

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 5 Next

Displaying 81 – 100 of 176

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

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

Algebra i Logika

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

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

Algebra i Logika

Минимальные нумерации позитивно вычислимых семейств

С.А. Бадаев, S. A. Badaev, S. A. Badaev, S. A. Badaev (1994)

Algebra i Logika

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

С.П. Одинцов (1992)

Algebra i Logika

Начальные сегменты в полурешетках Роджерса $Σ_{n}^{0}$ -вычислимых нумераций

С.Ю. Подзоров (2003)

Algebra i Logika

Неконструктивизируемость некоторых упорядоченных полей вещественных чисел.

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

Sibirskij matematiceskij zurnal

Необходимые условия изоморфизма полурешеток Роджерса конечных частично упорядоченных множеств

Ю.Л. Ершов (2003)

Algebra i Logika

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

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

Algebra i Logika

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

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

Sibirskij matematiceskij zurnal

Нумерация класса $ℂ_{20}^{*}$

Ю.Л. Ершов (1977)

Algebra i Logika

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

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

Sibirskij matematiceskij zurnal

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

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

Algebra i Logika

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

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

Algebra i Logika

О вычислимости некоторых классов нумераций

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

Verojatnostnye metody i kibernetika

О вычислимых группах автоморфизмов моделей.

А.С. Морозов (1986)

Algebra i Logika

О гипотезе Д. Скордева

А.В. Дичев (1985)

Algebra i Logika

О главных нумерациях функционалов над допустимыми множествами

Р.Ю. Вайценавичюс (1990)

Algebra i Logika

О гомоморфизмах на негативные алгебры

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

Algebra i Logika

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

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

Sibirskij matematiceskij zurnal

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

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

Sibirskij matematiceskij zurnal

Currently displaying 81 – 100 of 176

Previous Page 5 Next