Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
А.С. Морозов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “О расширениях конструктивных линейных порядков.”
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем
В.П. Добрица (1986)
Sibirskij matematiceskij zurnal
Similarity:
О позитивных нумерованных моделях.
Б.М. Хусаинов (1991)
Sibirskij matematiceskij zurnal
Similarity:
On the reducibility of the index sets of families of general recursive functions.
Ю.Д. Корольков (1982)
Sibirskij matematiceskij zurnal
Similarity:
О типах сходства и изоморфизма частично рекурсивных функций.
Е.А. Поляков (1995)
Sibirskij matematiceskij zurnal
Similarity:
О типах сходства рекурсивного изоморфизма частично рекурсивных функций.
Е.А. Поляков (1989)
Sibirskij matematiceskij zurnal
Similarity:
Конструктивные однородные расширения.
А.С. Денисов (1984)
Sibirskij matematiceskij zurnal
Similarity:
О рекурсивных функциях большого размаха
Х.Х. Насибуллов (1969)
Sibirskij matematiceskij zurnal
Similarity:
О рекурсивных решетах
В. Амстиславский (1966)
Sibirskij matematiceskij zurnal
Similarity:
Сводимость частично-рекурсивных функций
А.Н. Дегтев (1975)
Sibirskij matematiceskij zurnal
Similarity:
Нумерации семейств общерекурсивных функций
Ю.Л. Ершов (1967)
Sibirskij matematiceskij zurnal
Similarity: