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
03D60 Computability and recursion theory on ordinals, admissible sets, etc.

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

Displaying 81 – 93 of 93

Обобщенно-конструктивный континуум.

В.А. Ганов (1973)

Sibirskij matematiceskij zurnal

Обобщенные вычисления над регулярными нумерациями.

Н.В. Белякин (1973)

Algebra i Logika

Обобщенные вычисления с оракулами

А.Н. Гамова (1988)

Algebra i Logika

Определимость булевых алгебр в $ℍ𝔽$ -надстройках

А.В. Ромина (2000)

Algebra i Logika

Пульсирующие иерархии.

Н.В. Белякин (1994)

Sibirskij matematiceskij zurnal

Рекурсия на обобщенно-вычислимых ординалах

В.А. Ганов (1993)

Sibirskij matematiceskij zurnal

Сводимости по перечислимости

Е.А. Поляков, М.Г. Розинас (1977)

Sibirskij matematiceskij zurnal

Сильная $94_{1}$ -определимость модели в допустимом множестве

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

Sibirskij matematiceskij zurnal

Сколемовские функции и конструктивные модели.

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

Algebra i Logika

Слабо рекурсивно перечилимые степени и предельная вычислимость

М.М. Арсланов (1979)

Verojatnostnye metody i kibernetika

Соотношение между различными видами относительной вычислимости функций

Е.А. Поляков, М.Г. Розинас (1978)

Matematiceskij sbornik

Суперавтономные нумерации и проектируемые ординалы.

А.Н. Гамова (1991)

Algebra i Logika

Эффективные оракулы

А.Н. Гамова (1990)

Algebra i Logika

Currently displaying 81 – 93 of 93

Previous Page 5