Higher Kurtz randomness (Q636362): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(6 intermediate revisions by 6 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.apal.2010.04.001 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: Publication / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2003802282 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1408.2896 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lowness of higher randomness notions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573370 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Kurtz randomness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some applications of the notions of forcing and generic sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Incompleteness along paths in progressions of theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5537368 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lowness for Kurtz randomness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Randomness via effective descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measure and category in effective descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kolmogorov complexity and the Recursion Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4777277 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3611832 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measure-Theoretic Uniformity in Recursion Theory and Set Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Countable admissible ordinals and hyperdegrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher Recursion Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperarithmetical quantifiers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5583851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computational randomness and lowness / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.APAL.2010.04.001 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:16, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher Kurtz randomness |
scientific article |
Statements
Higher Kurtz randomness (English)
0 references
26 August 2011
0 references
Kurtz randomness
0 references
hyperarithmetic
0 references
lowness
0 references
hyperdegrees
0 references