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

(Напомним, что если A - V-структура, то Th(A) - множество всех V-предложений, верных в А).

задан 29 Ноя 8:54

Вторая часть доказана на стр. 191 https://www.math.wisc.edu/~lempp/teach/Enderton-Presburger.pdf

Первая часть в ответах https://math.stackexchange.com/questions/258336/does-every-complete-theory-admit-quantifier-elimination

Как получилась самая последняя строчка в ответе Deven Ware?

(8 Дек 22:52) logic
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×667

задан
29 Ноя 8:54

показан
33 раза

обновлен
8 Дек 22:59

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru