О числе неавтоэквивалентных конструктивизаций

С.С. Гончаров

The search session has expired. Please query the service again.

Displaying similar documents to “О числе неавтоэквивалентных конструктивизаций”

Тотально трансцендентная теория с неконструктивизируемой простой моделью

С.С. Гончаров (1980)

Sibirskij matematiceskij zurnal

Similarity:

Автоустойчивость гиперарифметических моделей

А.В. Ромина (2000)

Algebra i Logika

Similarity:

Семейства с одноэлементной полурешеткой Роджерса.

С.С. Гончаров, С.А. Бадаев, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev (1998)

Algebra i Logika

Similarity:

Спектры степеней для отношений на булевых алгебрах

С.С. Гончаров, Р. Доуни, Д. Хиршвельд (2003)

Algebra i Logika

Similarity:

Вычислимые структурные и антиструктурные теоремы.

С.С. Гончаров, Дж. Найт (2002)

Algebra i Logika

Similarity:

Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности

Ю.Г. Венцов (1994)

Algebra i Logika

Similarity:

Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей

Ю.Г. Венцов (1992)

Algebra i Logika

Similarity:

Позитивные нумерации семейств с однозначными нимерациями

С.С. Гончаров (1983)

Algebra i Logika

Similarity:

Эффективно бесконечные классы слабых конструктивизаций моделей

С.С. Гончаров (1993)

Algebra i Logika

Similarity:

Сильная конструктивизируемость однородных моделей.

С.С. Гончаров (1978)

Algebra i Logika

Similarity:

О полурешетках Роджерса семейств арифметических множеств

С.А. Бадаев, С.С. Гончаров (2001)

Algebra i Logika

Similarity:

Вычислимые однозначные нумерации

С.С. Гончаров (1980)

Algebra i Logika

Similarity:

О теориях с двухкардинальной формулой

Т.Г. Мустафин (1980)

Algebra i Logika

Similarity:

Счетные модели суперстабильных теорий

Е.П. Байсалов (1990)

Algebra i Logika

Similarity:

Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.

С.С. Гончаров, А. Сорби, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi (1997)

Algebra i Logika

Similarity:

Эффективные операции выбора на конструктивных и позитивных моделях

Ю.Г. Венцов (1993)

Algebra i Logika

Similarity:

Автоустойчивость и вычислимые семейства конструктивизаций.

С.С. Гончаров (1975)

Algebra i Logika

Similarity:

Автоустойчивость моделей

С.С. Гончаров, В.Д. Дзгоев (1980)

Algebra i Logika

Similarity:

Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях

П.Е. Алаев (2003)

Algebra i Logika

Similarity:

Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры

С.П. Одинцов (1992)

Algebra i Logika

Similarity:

О внутренней перечислимости линейных порядков

А.Н. Хисамиев (2000)

Algebra i Logika

Similarity:

О вычислимых группах автоморфизмов моделей.

А.С. Морозов (1986)

Algebra i Logika

Similarity:

Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях

Ю.Г. Венцов (1992)

Algebra i Logika

Similarity:

Автоустойчивость булевых алгебр с выделенным идеалом.

Н.Т. Когабаев (1998)

Sibirskij matematiceskij zurnal

Similarity:

Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей

С.С. Гончаров (1980)

Algebra i Logika

Similarity:

Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.

С.П. Одинцов (1986)

Algebra i Logika

Similarity:

О счетной категоричности

К.Ж. Кудайбергенов (1988)

Algebra i Logika

Similarity: