Мышь (теория множеств)
В теории множеств мышь представляет собой небольшую модель (фрагмент) теории множеств Цермело – Френкеля с желаемыми свойствами. Точное определение зависит от контекста. В большинстве случаев существует техническое определение «премыши» и дополнительное условие итерации (имеется в виду существование обоснованных повторяющихся сверхспособностей ): в этом случае мышь является итеративной премышью. Понятие мыши обобщает концепцию уровня Гёделя , конструктивной иерархии в то же время способно включать в себя большие кардиналы .
Мыши являются важными компонентами построения основных моделей . Эта концепция была выделена Рональдом Дженсеном в 1970-х годах и с тех пор использовалась в конструкциях основных моделей многими авторами.
Ссылки [ править ]
- Додд, А.; Дженсен, Р. (1981). «Основная модель». Энн. Математика. Логика . 20 (1): 43–75. дои : 10.1016/0003-4843(81)90011-5 . МР 0611394 .
- Джех, Томас (2003). Теория множеств . Монографии Спрингера по математике (изд. Третьего тысячелетия). Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-44085-7 . Збл 1007.03002 .
- Митчелл, Уильям (1979). «Кардиналы Рэмси и конструктивность» . Журнал символической логики . 44 (2): 260–266. дои : 10.2307/2273732 . МР 0534574 .