Мышь (теория множеств) - Mouse (set theory)

В теория множеств, а мышь это маленький модель из (фрагмент) Теория множеств Цермело – Френкеля с желаемыми свойствами. Точное определение зависит от контекста. В большинстве случаев существует техническое определение понятия «предпосылка» и дополнительное условие итеративности (относящееся к существованию хорошо обоснованный повторяется сверхдержавы ): мышь является итеративной предпосылкой. Понятие мыши обобщает понятие уровня Гёдель с конструктивная иерархия будучи в состоянии включить большие кардиналы.

Мыши - важные составляющие построения основные модели. Концепция была выделена Рональд Дженсен в 1970-х годах и с тех пор используется в конструкциях основных моделей многих авторов.

Рекомендации

• Додд, А .; Дженсен Р. (1981). «Основная модель». Анна. Математика. Логика. 20 (1): 43–75. Дои:10.1016/0003-4843(81)90011-5. МИСТЕР  0611394.
• Jech, Thomas (2003). Теория множеств. Монографии Спрингера по математике (изд. Третьего тысячелетия). Берлин, Нью-Йорк: Springer-Verlag. ISBN  978-3-540-44085-7. Zbl  1007.03002.
• Митчелл, Уильям (1979). «Кардиналы Рамсея и конструктивность». Журнал символической логики. 44 (2): 260–266. Дои:10.2307/2273732. МИСТЕР  0534574.