Английская Википедия:Adequate pointclass

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

In the mathematical field of descriptive set theory, a pointclass can be called adequate if it contains all recursive pointsets and is closed under recursive substitution, bounded universal and existential quantification and preimages by recursive functions.[1][2]

References

Шаблон:Reflist


Шаблон:Settheory-stub