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