|
Существует ли теория в некоторой сигнатуре с равенством, такая что её спектром (множеством мощностей нормальных моделей) является множество чисел (5^n - 4^n)? задан 20 Дек '17 17:07 
Herstein |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
20 Дек '17 17:07
показан
644 раза
обновлен
25 Дек '17 4:28
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Это касается всех моделей вообще, или только конечных? Если первое, то, видимо, нет -- наличие сколь угодно больших по мощности конечных моделей влечёт существование бесконечной из соображений теоремы компактности. А если только конечные модели должны иметь такой спектр мощностей, то, наверное, можно как-то аксиоматизировать теорию непустых подмножеств заданного множества.
Кажется, ограничений на конечность модели нет.
@Htaon: условие вроде по-другому выглядело?