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
algorithmic randomness |
https://www.w3.org/2000/01/rdf-schema#label |
Solovay tests
|
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 |
7
|