Для большинства подходов к вычислимости класс вычислимо пере-числимых множеств (который, как правило, образует решётку относитель-но теоретико-множественных операций) не замкнут относительно допол-нения (более того, элементы, имеющие дополнение — это в точности вы-числимые множества), поэтому приходится исследовать дополнительныетеорeтикa-множественные свойства данного класса. B настоящей работеисследуются такие свойства для допустимых множеств. Здесь будет пока-зано, что относительно широко используемых свойств допустимые множе-ства ведут себя весьма плохо, a именно, любое соотношение между свой-ствами может быть реализовано в некотором допустимом множестве, a вбольшинстве случаев такое допустимое множество может быть выбранокак наследственно конечная настройка над вычислимой моделью.
展开▼