Иерархия Бореля

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

Иерархия Бореля Иерархия Бореля — это система кодирования множеств, основанная на ординалах.  Иерархия Бореля имеет три уровня: lightface, Borel и […]

Descriptive set theory, Mathematical logic hierarchies, Иерархии математической логики, Описательная теория множеств

Иерархия Бореля

  • Иерархия Бореля — это система кодирования множеств, основанная на ординалах. 
  • Иерархия Бореля имеет три уровня: lightface, Borel и fullface. 
  • Lightface иерархия обеспечивает полную информацию о восстановлении наборов из наборов меньшего ранга. 
  • Код для набора lightface Borel предоставляет информацию о том, как восстановить набор из наборов меньшего ранга. 
  • Иерархия не разрушается для каждого α < ω1CK. 
  • Знаменитая теорема Спектора и Клини гласит, что множество находится в борелевской иерархии lightface тогда и только тогда, когда оно находится на уровне Δ11 из аналитической иерархии. 

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

Иерархия Бореля — Википедия

Похожие статьи:

  1. Иерархия Уэджа Иерархия Wadge Определение и свойства иерархии Вайджа Иерархия Вайджа — это порядок множеств в пространстве Бэра,...
  2. Алгебра Клини Алгебра Клини Определение и свойства алгебры Клини Алгебра Клини — это алгебра с операциями сложения, умножения...
  3. Полиномиальная иерархия Полиномиальная иерархия Определение и свойства полиномиальной иерархии Полиномиальная иерархия — это иерархия сложности задач, где каждая...
  4. Иерархия Иерархия Определение и примеры иерархии Иерархия — это структура, в которой элементы упорядочены по степени важности...
  5. Иерархия памяти Иерархия памяти Иерархия памяти в компьютерах Иерархия памяти разделяет компьютерное хранилище на уровни, основанные на времени...
  6. Булева иерархия Логическая иерархия Определение логической иерархии Логическая иерархия — это иерархия NP-множеств, основанная на логических операциях пересечения,...
  7. Быстрорастущая иерархия Быстрорастущая иерархия Быстрорастущие иерархии функций — это системы функций, которые растут быстрее, чем любая вычислимая функция. ...
  8. Кумулятивная иерархия Совокупная иерархия Определение совокупной иерархии Совокупная иерархия — семейство множеств, индексированных по порядковым номерам, с определенными...
  9. Теорема Клини о неподвижной точке Теорема Клини о неподвижной точке Теорема Клини о неподвижной точке Теорема утверждает существование восходящей цепочки Клини...
  10. Стивен Коул Клини Стивен Коул Клини Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику. ...
  11. Арифметическая иерархия Арифметическая иерархия Определение арифметической иерархии Арифметическая иерархия — это множество множеств, упорядоченных по сложности определения.  Множество...
  12. Свойства дизъюнкции и существования Свойства дизъюнкции и существования Основные свойства интуиционистской логики Интуиционистская логика не имеет закона исключенного третьего.  Интуиционистская...
  13. Теорема о пространственной иерархии Теорема о пространственной иерархии Определение и свойства пространства Пространство — это количество места, необходимое для хранения...

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

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