0
голосов
0
ответов
14 показов

Записать формально следующее рассуждение на языке логики высказываний и доказать его справедливость, используя метод резолюций.Посылки: Если завтра бу ...
0
голосов
0
ответов
20 показов

Пусть А - V-структура, у которой все сорты конечны и пусть B - V-структура. Докажите, что если A элементарно эквивалентна B, то А изоморфна В.Хотя бы ...
0
голосов
0
ответов
24 показа

https://math.stackexchange.com/questions/257639/langle-bbb-q-rangle-is-an-elementary-submodel-of-langle-bbb-r-ranglТам есть ответ, но есть непонятные ...
0
голосов
0
ответов
31 показ

Пусть $%s: N\to N$% - функция $%n\to n+1$%. Докажите, что $%Th(N;s)$% не имеет элиминации кванторов, но $%Th(N;s,0)$% (где 0 - постоянный символ, соот ...
0
голосов
0
ответов
29 показов

Пусть K - поле, Т - теория бесконечных векторных пространств над К в односортном словаре из вопроса math.hashcode.ru/questions/160047/ Докажите, что в ...
0
голосов
0
ответов
25 показов

Это выглядит как чисто алгебраический факт, но с переводом с логического языка имеются проблемы.
0
голосов
0
ответов
39 показов

https://en.wikipedia.org/wiki/Model_complete_theory#Model_companion_and_model_completionНапомним, что компаньоном теории T называется теория T' такая ...
0
голосов
1
ответ
22 показа

Пусть $% e = a_0,a_1a_2...$% - разложение числа $% e$% в бесконечную десятичную дробь. Доказать,что $% a_n $% - общерекурсивная функция от $% n $% .Ук ...
0
голосов
0
ответов
31 показ
0
голосов
0
ответов
26 показов

Тут должно всё прямо из определений следовать, но всё равно не понятно, как это всё следует.
1
голос
0
ответов
72 показа

Философа интересуют наиболее обыкновенные вещи -- такие, как мышление, воображение. Математическая логика уже дважды сильно повлияла на философию:Теор ...
0
голосов
0
ответов
47 показов

Здесь ACF0 - теория алгебраически замкнутых полей характеристики 0, dcl определено тут $$\operatorname{acl}(A)=\{b\in M:b\text{ алгебраичен над } A\}$ ...
0
голосов
0
ответов
43 показа

Какие простые примеры можно привести?Например, M=целые числа по сложению, А={1,2}. Определим ли элемент 4? Как выяснять такие вещи? (Как придумать фор ...
0
голосов
0
ответов
42 показа

Рассмотрим словарь абелевых групп V=(0,+,-). Докажите, что V-структуры $%\mathbb Z$% и $%\mathbb Z\times \mathbb Z$% не элементарно эквивалентны
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru