О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Displaying similar documents to “Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.”
О полурешетках вычислимых индексаций классов конструктивных моделей
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
В.П. Добрица (1994)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивных моделях неразрешимых теорий
К.Ж. Кудайбергенов (1980)
Sibirskij matematiceskij zurnal
Similarity:
Структурные свойства вычислимых классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Локальные классы и вычислимые индексации
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Сложность индексного множества конструктивной модели
В.П. Добрица (1983)
Algebra i Logika
Similarity:
О нумерациях насыщенных и однородных моделей
С.С. Гончаров, Б.Н. Дроботун (1980)
Sibirskij matematiceskij zurnal
Similarity:
Неравномерная автоустойчивость моделей
Ю.Г. Венцов (1987)
Algebra i Logika
Similarity:
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Вычислимость некоторых классов конструктивных алгебр
В.П. Добрица (1977)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем
В.П. Добрица (1986)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость и вычислимые семейства конструктивизаций.
С.С. Гончаров (1975)
Algebra i Logika
Similarity: