\(\Sigma^ 0_ n\)-complete properties of programs and Martin-Löf randomness

DOI10.1016/0020-0190(93)90194-EzbMath0771.68072MaRDI QIDQ1210316

Kojiro Kobayashi

Publication date: 23 May 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Kolmogorov complexityrandomness

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30)

Related Items

Kobayashi compressibility

Cites Work

• Incompleteness theorems for random reals
• A Theory of Program Size Formally Identical to Information Theory
• The definition of random sequences
• Unnamed Item

This page was built for publication: \(\Sigma^ 0_ n\)-complete properties of programs and Martin-Löf randomness