Возможна ли элиминация кванторов в модели $$(\mathbb{N}, x|y, c_0, c_1, c_2, . . .)?$$ Здесь N = {0, 1, . . . } — множество неотрицательных целых чисел, x | y — отношение делимости, а c_n — константа, равная n. Расширение сигнатуры не допускается.

задан 4 Дек '16 11:36

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×882
×408

задан
4 Дек '16 11:36

показан
405 раз

обновлен
4 Дек '16 11:36

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

по почте:

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

по RSS:

Ответы

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

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