Существует ли теория в некоторой сигнатуре с равенством, такая что её спектром (множеством мощностей нормальных моделей) является множество чисел (5^n - 4^n)?

задан 20 Дек '17 17:07

изменен 25 Дек '17 2:20

Это касается всех моделей вообще, или только конечных? Если первое, то, видимо, нет -- наличие сколь угодно больших по мощности конечных моделей влечёт существование бесконечной из соображений теоремы компактности. А если только конечные модели должны иметь такой спектр мощностей, то, наверное, можно как-то аксиоматизировать теорию непустых подмножеств заданного множества.

(21 Дек '17 8:58) falcao

Кажется, ограничений на конечность модели нет.

(21 Дек '17 20:40) Herstein

@Htaon: условие вроде по-другому выглядело?

(25 Дек '17 4:28) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×1,255
×777

задан
20 Дек '17 17:07

показан
199 раз

обновлен
25 Дек '17 4:28

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

по почте:

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

по RSS:

Ответы

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

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