Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
С.С. Гончаров, А. Сорби, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi (1997)
Algebra i Logika
Similarity:
Displaying similar documents to “Автоустойчивость и вычислимые семейства конструктивизаций.”
Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
Сильные и слабые конструктивизации и вычислимые семейства.
А.Т. Нуртазин (1974)
Algebra i Logika
Similarity:
О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Конструктивные модели полных разрешимых теорий.
С.С. Гончаров, А.Т. Нуртазин (1973)
Algebra i Logika
Similarity:
О полурешетках Роджерса семейств арифметических множеств
С.А. Бадаев, С.С. Гончаров (2001)
Algebra i Logika
Similarity:
Суперавтономные нумерации и проектируемые ординалы.
А.Н. Гамова (1991)
Algebra i Logika
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Структурные свойства вычислимых классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
О нумерациях насыщенных и однородных моделей
С.С. Гончаров, Б.Н. Дроботун (1980)
Sibirskij matematiceskij zurnal
Similarity:
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Similarity: