Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
Previous Page 9
Displaying 161 – 176 of 176
Счетные однородные булевы алгебры.
А.С. Морозов (1983)
Algebra i Logika
Теория с двумя сильно конструктивизируемыми моделями.
К.Ж. Кудайбергенов (1979)
Algebra i Logika
Тонкая иерархия и определимые индексные множества.
В.Л. Селиванов (1991)
Algebra i Logika
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Тотально трансцендентная теория с неконструктивизируемой простой моделью
С.С. Гончаров (1980)
Sibirskij matematiceskij zurnal
Универсальная нумерация конструктивных -алгебр
Н.Т. Когабаев (2001)
Algebra i Logika
Универсальные рекурсивно перечислимые булевы алгебры
С.С. Гончаров (1983)
Sibirskij matematiceskij zurnal
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
В.П. Добрица (1994)
Sibirskij matematiceskij zurnal
Формальные трансляции
В.Д. Соловьев (1982)
Verojatnostnye metody i kibernetika
Фридбергеровские нумерации семейств -вычислимо перечислимых множеств.
С.С. Гончаров, С. Лемпп, Д Р. Соломов (2002)
Algebra i Logika
Функциональные деревья и автоморфизмы моделей
А.С. Морозов (1993)
Algebra i Logika
Эндоморфизмы группы всех рекурсивных перестановок.
А.С. Морозов, A. S. Morozov, A. S. Morozov, A. S. Morozov (1997)
Algebra i Logika
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
И.А. Лавров (1963)
Algebra i Logika
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Эффективные операции выбора на конструктивных и позитивных моделях
Ю.Г. Венцов (1993)
Algebra i Logika
Currently displaying 161 – 176 of 176
Previous Page 9