‘Эффективная описательная теория множеств’

Арифметическая иерархия Арифметическая иерархия Классифицирует множества на основе сложности формул, их определяющих   Изобретена Клини и Мостовски независимо   Важна в теории […]