Adekvátní bodová třída - Adequate pointclass

V matematické oblasti deskriptivní teorie množin, a bodová třída lze volat přiměřené pokud obsahuje vše rekurzivní bodové sady a je uzavřen rekurzivní substitucí, ohraničený univerzální a existenční kvantifikace a preimages pomocí rekurzivních funkcí.^[1]^[2]

Reference

^ Moschovakis, Y. N. (1987), Popisná teorie množin „Studie logiky a základy matematiky“, Elsevier, s. 158, ISBN 9780080963198.
^ Gabbay, Dov M .; Kanamori, Akihiro; Woods, John (2012), Sady a rozšíření ve dvacátém století Příručka dějin logiky, 6, Elsevier, s. 465, ISBN 9780080930664.

Tento teorie množin související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Moschovakis, Y. N. (1987), Popisná teorie množin „Studie logiky a základy matematiky“, Elsevier, s. 158, ISBN 9780080963198.

[2] Gabbay, Dov M .; Kanamori, Akihiro; Woods, John (2012), Sady a rozšíření ve dvacátém století Příručka dějin logiky, 6, Elsevier, s. 465, ISBN 9780080930664.

[1]

[2]