The importance of Π<sub>1</sub><sup>0</sup> classes in effective randomness (Q5190208): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2178/jsl/1264433928 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2164699156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-cupping and randomness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3611832 / rank
 
Normal rank
Property / cites work
 
Property / cites work: RELATIVIZING CHAITIN'S HALTING PROBABILITY / rank
 
Normal rank
Property / cites work
 
Property / cites work: MASS PROBLEMS AND HYPERARITHMETICITY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class groups of integral group rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\Pi_1^0 \) classes, LR degrees and Turing degrees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Random non-cupping revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computable structures and the hyperarithmetical hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: The definition of random sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Low for random reals and positive-measure domination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Calibrating Randomness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of the “almost all” theory of degrees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Almost everywhere domination and superhighness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degrees of Unsolvability. (AM-55) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lowness properties and randomness / rank
 
Normal rank

Latest revision as of 12:53, 2 July 2024

scientific article; zbMATH DE number 5681311
Language Label Description Also known as
English
The importance of Π<sub>1</sub><sup>0</sup> classes in effective randomness
scientific article; zbMATH DE number 5681311

    Statements

    The importance of Π<sub>1</sub><sup>0</sup> classes in effective randomness (English)
    0 references
    0 references
    0 references
    0 references
    15 March 2010
    0 references
    \(\Pi^0_1\)-classes
    0 references
    Martin-Löf randomness
    0 references
    Peano arithmetic
    0 references
    \(K\)-trivials
    0 references
    Turing degrees
    0 references
    LR degrees
    0 references

    Identifiers