A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals (Q5695769): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4133617 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4934277 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithmic Randomness and Complexity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calibrating Randomness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A criterion for completeness of degrees of unsolvability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every sequence is reducible to a random one / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3758821 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4732457 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023358 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The definition of random sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On initial segment complexity and degrees of randomness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A minimal degree less than 0’ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On degrees of unsolvability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3819052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5494239 / rank | |||
Normal rank |
Latest revision as of 16:11, 10 June 2024
scientific article; zbMATH DE number 2212318
Language | Label | Description | Also known as |
---|---|---|---|
English | A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals |
scientific article; zbMATH DE number 2212318 |
Statements
A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals (English)
0 references
6 October 2005
0 references
\(\Pi_1^0\) class
0 references
random real
0 references