https://math.stackexchange.com/questions/257639/langle-bbb-q-rangle-is-an-elementary-submodel-of-langle-bbb-r-rangl

Там есть ответ, но есть непонятные места

Какая именно теория полна и почему? Почему S конечно? Что значит S(u1,...,un)? Как применяется тест Вота? https://en.wikipedia.org/wiki/%C5%81o%C5%9B%E2%80%93Vaught_test

задан 6 Дек 8:24

изменен 6 Дек 8:24

Может быть, имеется в виду Tarski-Vaught test? Там хоть формулировка ближе к вопросу.

(8 Дек 22:23) logic

Да, скорее всего.

А что такое "collection of order relationships among the r_i"? И почему в это множество (если это множество) можно подставлять u_i? (Там пишут S(u1,...,un))

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

Ваш ответ

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

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

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

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

отмечен:

×667

задан
6 Дек 8:24

показан
26 раз

обновлен
9 Дек 6:02

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

по почте:

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

по RSS:

Ответы

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

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