Примечателен кардинальное

---

Кардинал κ называется замечательно , если для всех регулярных кардиналов θ > κ , существует π , M , λ , σ , N и р такие , что

Эквивалентный замечательно , если и только если для каждого есть такое , что в некотором форсировании расширения , есть элементарное вложение , удовлетворяющее . Хотя определение аналогично одному из определений сверхкомпактных кардиналов , элементарное вложение здесь только должно существовать , а не в .${\ Displaystyle \ каппа}$${\ Displaystyle \ лямбда> \ каппа}$${\ Displaystyle {\ бар {\ Lambda}} <\ каппа}$${\ Displaystyle V [G]}$${\ Displaystyle J: V _ {\ бар {\ Lambda}} ^ {V} \ СтрелкаВправо V _ {\ Lambda} ^ {V}}$${\ Displaystyle J (\ OperatorName {крит} (к)) = \ каппа}$${\ Displaystyle V [G]}$${\ Displaystyle В}$

---