2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Показать, что предикат невыразим в интерпретации
Сообщение07.12.2014, 21:22 
Добрый день.
Читаю курс на интуите. Там предлагается решить 2 задачи. Одна из них вот:

Цитата:
Покажите, что предикат $y=x+1$ невыразим в интерпретации $(\mathbb{Z}, {=}, f)$, где $f$ — одноместная функция $x\hm\mapsto(x+2)$.


У меня есть непонимание. В примерах на интуите разобраны простые примеры, где нужно доказывать невыразимость предикатов типа $x=3$. А тут появилась функция, как решать такое - не понятно.

Понятно, что для решения задачи нужно придумать некоторый автоморфизм интерпретации, относительно которого интересующий предикат неустойчив.

Пробовал различные варианты, а-ля:
$x\hm\mapsto(x^2)$, $x\hm\mapsto(2+x)$, но всё это не проходит.

 
 
 
 Posted automatically
Сообщение07.12.2014, 21:29 
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Тема перемещена в Карантин по следующим причинам:

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения и/или укажите затруднения.

3. Уберите внешнюю ссылку, приведя необходимый текст в самом сообщении (см. п. III.5 "Внешние ссылки" Правил Форума).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 
 
 
 Posted automatically
Сообщение08.12.2014, 00:04 
 i  Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group