О расширениях конструктивных линейных порядков.
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.”
О расширениях конструктивных линейных порядков.
О рекурсивных функциях большого размаха
Х.Х. Насибуллов (1969)
Sibirskij matematiceskij zurnal
Similarity:
О рекурсивных решетах
В. Амстиславский (1966)
Sibirskij matematiceskij zurnal
Similarity:
О позитивных нумерованных моделях.
Б.М. Хусаинов (1991)
Sibirskij matematiceskij zurnal
Similarity:
Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем
В.П. Добрица (1986)
Sibirskij matematiceskij zurnal
Similarity:
Сводимость частично-рекурсивных функций
А.Н. Дегтев (1975)
Sibirskij matematiceskij zurnal
Similarity:
Автоморфизмы пар квадрик в проектном пространстве. II
С.Л. Певзнер (1967)
Sibirskij matematiceskij zurnal
Similarity:
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
О кратной m-сводимости индексных множеств.
З.Г. Хисамиев (1984)
Sibirskij matematiceskij zurnal
Similarity:
Нумерации семейств общерекурсивных функций
Ю.Л. Ершов (1967)
Sibirskij matematiceskij zurnal
Similarity:
О степенях рекурсивно перечислимых множеств.
С. Каллибеков (1973)
Sibirskij matematiceskij zurnal
Similarity: