- элементарная теория
- элементарно эквивалентные модели/структуры
- под/надструктура, под/надмодель
- теорема об элементарном вложении стандартной модели арифметики
- теорема Лёвенгейма-Сколема о понижении мощности
- теорема Лёвенгейма-Сколема о повышении мощности
После выноса заметил ошибку на отметке 13:16. Все-таки если не получается, что все функции замкнуты на B, то мы такую структуру вообще не рассматриваем как подструктуру. Иначе говоря, если B таково, что все функции сигнатуры замкнуты относительно B, то только в этом случае мы можем создать подструктуру с носителем B.
1 view
2281
668
1 month ago 00:37:41 1
2. Исчисление высказываний
1 month ago 00:56:26 1
30. Умножение кардиналов, теорема Кёнига
1 month ago 01:02:41 1
39. Введение в теорему Гёделя о неполноте
1 month ago 00:48:26 1
41. Иерархия формул
1 month ago 00:29:59 1
42. Классы вычислимых функций
1 month ago 01:05:49 1
Задачи с 1.6 по (Т.Йех, Теория множеств)
1 month ago 01:13:17 1
47. Ординальная топология.
1 month ago 02:25:26 1
Предельные теоремы теории вероятностей
1 month ago 00:41:07 1
Решаем Йеха. Глава 3. Кардиналы. Задачи
1 month ago 00:45:13 1
16 теорема Лёвенгейма Сколема
1 month ago 00:02:47 1
Математика ОГЭ. Задание 8. Задача 16
1 month ago 01:26:07 2
Экономические задачи ЕГЭ номер 16
1 month ago 00:55:33 6
[Школа Пифагора ЕГЭ по математике] ТОП-3 задач-ветеранов #16 (САМЫЕ ЧАСТО ВЫПАДАЮЩИЕ на ЕГЭ профиль)
1 month ago 03:09:41 4
№ 701-800 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 00:00:16 1
Музыка выходного дня | Русские хиты - слушать онлайн!
1 month ago 00:00:26 3
Вашу задачу РЕШАТ СРАЗУ ТРИ НЕЙРОНКИ — релизнулся топовый проект AnyChat. Тулза многократно бустит качество ответов от ИИ
1 month ago 04:43:41 2.1K
№ 1501-1600 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 03:58:47 353
№ 1301-1400 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 02:36:06 191
№ 1001-1100 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 02:41:49 279
№ 901-1000 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 03:52:24 1.1K
№ 801-900 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 02:57:31 787
№ 601-700 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 03:51:09 1.1K
№ 501-600 - Физика 7-9 класс Пёрышкин сборник задач
1 month ago 03:02:05 265
№ 401-500 - Физика 7-9 класс Пёрышкин сборник задач