Assuming AD + DC(R), 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 " !! 1, and those of Wadge rank < !! 1 when " is limit.
Effective Cardinals of Boldface Pointclasses
ANDRETTA, Alessandro;
2007-01-01
Abstract
Assuming AD + DC(R), 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 " !! 1, and those of Wadge rank < !! 1 when " is limit.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
J. Math. Log. 2007 Andretta.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
996.46 kB
Formato
Adobe PDF
|
996.46 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.