EFFECTIVE CARDINALS OF BOLDFACE POINTCLASSES
EFFECTIVE CARDINALS OF BOLDFACE POINTCLASSES
Assuming AD + DC(ℝ), we characterize the self-dual boldface pointclasses which are strictly larger (in terms of cardinality) than the pointclasses contained in them: these are exactly the clopen sets, the collections of all sets of Wadge rank [Formula: see text], and those of Wadge rank [Formula: see text] when …