Там есть ответ, но есть непонятные места Какая именно теория полна и почему? Почему S конечно? Что значит S(u1,...,un)? Как применяется тест Вота? https://en.wikipedia.org/wiki/%C5%81o%C5%9B%E2%80%93Vaught_test задан 6 Дек '18 8:24 logic |
Там есть ответ, но есть непонятные места Какая именно теория полна и почему? Почему S конечно? Что значит S(u1,...,un)? Как применяется тест Вота? https://en.wikipedia.org/wiki/%C5%81o%C5%9B%E2%80%93Vaught_test задан 6 Дек '18 8:24 logic |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
6 Дек '18 8:24
показан
64 раза
обновлен
9 Дек '18 6:02
Может быть, имеется в виду Tarski-Vaught test? Там хоть формулировка ближе к вопросу.
Да, скорее всего.
А что такое "collection of order relationships among the r_i"? И почему в это множество (если это множество) можно подставлять u_i? (Там пишут S(u1,...,un))