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

Main
Mathematics - Algebra
Автоустойчивость гиперарифметичских...

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

Ромина А.В.

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Алгебра и логика, 39, N 2 (2000), 198-205

Κατηγορίες:

Mathematics - Algebra

Έτος:

2000

Γλώσσα:

russian

Σελίδες:

8

Αρχείο:

PDF, 745 KB

IPFS:

,

russian, 2000

Διαβάστε online

Κατεβάστε (pdf, 745 KB)

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

Кусраев А.Г. — Элементы булевозначного анализа.

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 2. Теория множеств

Кон П. (Cohn P.M.) — Универсальная алгебра

Владимиров Д.А. — Булевы алгебры

— Современная математика и ее приложения. Алгебра-4

Биркгоф Г. — Теория решеток

Плоткин Б.И. — Алгебраические структуры

Радыно Я. В. — Линейные уравнения и борнология

Кусраев А.Г., Кутателадзе С.С. — Записки по булевозначному анализу. Учебное пособие

Кусраев А. Г. — Элементы булевозначного анализа

Пирс Р. — Ассоциативные алгебры

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Марат М. Арсланов — Иерархия Ершова. Спецкурс для студентов мехмата

Марат М. Арсланов — Иерархия множеств и степеней, расположенных ниже

Володин И.Н., Тихонов О.Е., Турилова Е.А. — Математические основы теории вероятностей

Султанбеков Ф.Ф. — От решеток к булевым алгебрам.

Сикорский Р. (Roman Sikorski); пер. А.С.Мищенко — Булевы алгебры

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Сикорский Р.(Sikorski R.) — Булевы алгебры

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория множеств.

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. II. Теория множеств

Султанбеков Ф.Ф. — От решёток к булевым алгебрам

Подзоров С.Ю. — Дополнительные главы теории вычислимости. Учебное пособие по спецкурсу

Бунина Е.И., Михалев А.В., Пинус А.Г — Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр

Мальцев А.И. — Избранные труды, в 2-х томах

Салий В.Н. (отв. ред.) — Упорядоченные множества и решетки. Выпуск 3

Салий В.Н. (отв. ред.) — Упорядоченные множества и решетки. Выпуск 4

Андрунакиевич В.А., Рябухин Ю.М. — Радикалы алгебр и структурная теория

Биркгоф Г. — Теория решёток

Йех Т. — Теория множеств и метод форсинга

Мостовский А. (Mostowski) — Конструктивные множества и их приложения

Владимиров Д.А. — Булевы алгебры

Кон П. — Универсальная алгебра

Артамонов, и др. — Алгебра - 4

Φράσεις κλειδιά

существует

доказательство

множество

определение

автоустойчивость

конструктивизации

конструктивизаций

называется

найдется

рассмотрим

гиперарифметических

некоторого

обозначим

предельных

проверим

эквивалентность

автоустойчива

гиперарифметическая

замечание

конечное

конструктивизируемая

конструктивные

критерия

некоторой

получили

предположим

противоречие

рекурсивно

рефлексии

сведения