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

Displaying 21 – 40 of 44

О порождаемости допустимых множеств

Ю.П. Ершов (1987)

Algebra i Logika

О представимости групп $Σ$ -определимых перестановок над допустимыми множествами.

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

Algebra i Logika

О разрешимых вычислимых $𝔸$ -нумерациях.

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

Algebra i Logika

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

Н.Р. Бухараев (1979)

Verojatnostnye metody i kibernetika

О существовании неотделимой пары в рекурсивной теории допустимых множеств

В.А. Руднев (1988)

Algebra i Logika

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

Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963)

Algebra i Logika

Об аппроксимативном варианте понятия конструктивной аналитической функции

Е.Я. Данцин (1976)

Zapiski naucnych seminarov Leningradskogo

Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике

Osvald Demuth, Rudolf Kryl, Antonín Kučera (1978)

Acta Universitatis Carolinae. Mathematica et Physica

Об одном классе рекурсивных иерархий.

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

Algebra i Logika

Об универсальной рекурсивной функции на допустимых множествах.

В.А. Руднев (1986)

Algebra i Logika

Об эффективных линейных порядках

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

Sibirskij matematiceskij zurnal

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

В.А. Ганов (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

Currently displaying 21 – 40 of 44

Previous Page 2 Next