Описательная теория множеств — Википедия

Описательная теория множеств Описательная теория множеств изучает свойства множеств и их отношения.  Иерархия Бореля и проективная иерархия являются важными понятиями […]

Описательная теория множеств

  • Описательная теория множеств изучает свойства множеств и их отношения. 
  • Иерархия Бореля и проективная иерархия являются важными понятиями в описательной теории множеств. 
  • Свойства проективных множеств не полностью определяются ZFC. 
  • В предположении проективной детерминированности, все проективные множества обладают свойствами совершенного множества и Бэра. 
  • Существуют общие расширения L для любого натурального числа n>2, в которых P(ω)∩L состоит из всего светлого лица Δn1 подмножества ω. 
  • Область эффективной дескриптивной теории множеств объединяет методы дескриптивной теории множеств с методами обобщенной теории рекурсии. 

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

Описательная теория множеств — Википедия

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

Прокрутить вверх