нет то я не понял вопрос.
Сколько моделей в точности до изоморфизма. Есть одна стандартная модель в точности до изоморфизма + какое-то число нестандартных. Мне интересно, сколько.
Тупой вопрос, который ты, очевидно, себе уже задавал. А можно ли построить как-то множество всех моделей, сформулировать для него класс эквивалентностей и вычесть класс эквивалентностей стандартной модели?
Не очень понял, что ты хочешь. Определить нестандартность?
Ну типо, построить какую-то формулу множества классов эквивалентности нестандартных моделей, с которой можно будет работать
Обсуждают сегодня