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