Higher Randomness and Forcing with Closed Sets - Archive ouverte HAL
Article Dans Une Revue Theory of Computing Systems Année : 2016

Higher Randomness and Forcing with Closed Sets

Résumé

Kechris showed in [9] that there exists a largest Π11 set of measure 0. Due to its universal nature, it was conjectured by many that this nullset has a high Borel rank. In this paper, we refute this conjecture and show that this nullset is merely Σ03. Together with a result of Liang Yu, our result also implies that the exact Borel complexity of this set is Σ03. To do this proof, we develop the machinery of effective randomness and effective Solovay genericity, investigating the connections between those notions and effective domination properties.
Fichier principal
Vignette du fichier
tocs2016.pdf (315.23 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01397294 , version 1 (15-11-2016)

Identifiants

Citer

Benoit Monin. Higher Randomness and Forcing with Closed Sets. Theory of Computing Systems, 2016, ⟨10.1007/s00224-016-9681-5⟩. ⟨hal-01397294⟩

Collections

LACL UPEC
100 Consultations
122 Téléchargements

Altmetric

Partager

More