Мышь (теория множеств)
-
Определение мыши в теории множеств
- Мышь — это модель теории множеств, обладающая определенными свойствами.
- Существует техническое определение «предварительной мыши» с условием повторяемости.
- Мышь обобщает концепцию уровня конструктивной иерархии Геделя и включает крупных кардиналов.
-
Роль мыши в модельных конструкциях
- Мышь была введена Рональдом Дженсеном в 1970-х и используется многими авторами.
-
Условия существования мыши
- Мышь существует, если существует 0^♯{0}.
-
Рекомендации по цитированию
- Приведены рекомендации по цитированию и форматированию библиографических описаний.
-
Источник информации
- Упомянута книга Т. Джеха «Теория множеств: Издание Третьего тысячелетия» (2003) как источник информации.