Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:describedBy |
gptkb:Solovay,_R._M._(1975)._A_model_of_set-theory_in_which_every_set_of_reals_is_Lebesgue_measurable.
|
| gptkbp:field |
gptkb:logic
gptkb:algorithmic_randomness |
| gptkbp:namedAfter |
gptkb:Robert_M._Solovay
|
| gptkbp:relatedTo |
gptkb:Martin-Löf_randomness
computability theory measure theory |
| gptkbp:usedFor |
characterizing random sequences
|
| gptkbp:bfsParent |
gptkb:Solovay_randomness
|
| gptkbp:bfsLayer |
9
|
| http://www.w3.org/2000/01/rdf-schema#label |
Solovay tests
|