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

Оглавление1 Мышь (теория множеств)1.1 Определение мыши в теории множеств1.2 Роль мыши в модельных конструкциях1.3 Условия существования мыши1.4 Рекомендации по цитированию1.5 […]

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

  • Определение мыши в теории множеств

    • Мышь – это модель теории множеств, обладающая определенными свойствами. 
    • Существует техническое определение “предварительной мыши” с условием повторяемости. 
    • Мышь обобщает концепцию уровня конструктивной иерархии Геделя и включает крупных кардиналов. 
  • Роль мыши в модельных конструкциях

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

    • Мышь существует, если существует 0^♯{0}. 
  • Рекомендации по цитированию

    • Приведены рекомендации по цитированию и форматированию библиографических описаний. 
  • Источник информации

    • Упомянута книга Т. Джеха “Теория множеств: Издание Третьего тысячелетия” (2003) как источник информации. 

Полный текст статьи:

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

Оставьте комментарий