Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
algorithmic randomness
|
| gptkbp:characterizedBy |
gptkb:Solovay_tests
|
| 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
theoretical computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
Solovay randomness
|
| gptkbp:isWeakerThan |
gptkb:Schnorr_randomness
gptkb:Martin-Löf_randomness |
| gptkbp:namedAfter |
gptkb:Robert_M._Solovay
|
| gptkbp:relatedTo |
gptkb:Martin-Löf_randomness
computability theory |
| gptkbp:bfsParent |
gptkb:Martin-Löf_randomness
|
| gptkbp:bfsLayer |
6
|