Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity:
Displaying similar documents to “Иерархия Ершова и T-скачок”
Эффективные иерархии
Эффективные оракулы
А.Н. Гамова (1990)
Algebra i Logika
Similarity:
Вариант конструктивных ординалов Рихтера.
Н.В. Белякин (1969)
Algebra i Logika
Similarity:
Форсинг в допустимых множествах
Ю.Л. Ершов (1990)
Algebra i Logika
Similarity:
Письмо в редакцию:Форсинг в допустимых множествах
Ю.Л. Ершов (1993)
Algebra i Logika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
A remark on a paper of Taimanov
Ахмад Шафаат (1969)
Algebra i Logika
Similarity:
О частотном перечислении множеств.
Е.Б. Кинбер (1974)
Algebra i Logika
Similarity:
Соотношения между некоторыми сводимостями
Р.Ш. Оманадзе, R. Š. Omanadze, R. Š. Omanadze, R. Š. Omanadze (1994)
Algebra i Logika
Similarity:
О btt-сводимости.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
О структуре степеней обощенных индексных множеств.
В.Л. Селиванов (1983)
Algebra i Logika
Similarity: