THE AXIOMATIZATION OF RANDOMNESS

被引：56

作者：

VANLAMBALGEN, M

机构：

来源：

关键词：

D O I：

10.2307/2274480

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1143 / 1167

页数：25

共 26 条

[1]

BALDWIN JT, 1988, STABILITY THEORY

[2]

BELL JL, 1977, BOOLEAN VALUED MODEL

[3]

CHAITIN GJ, 1987, ALGORITHMIC INFORMAT

[4]

Church A., 1940, B AM MATH SOC, V46, P130

[5] NATURAL DEDUCTION AND ARBITRARY OBJECTS [J].

FINE, K .

[6] AXIOMS OF SYMMETRY - THROWING DARTS AT THE REAL NUMBER LINE [J].

FREILING, C .

[7] PROBABILITIES OVER RICH LANGUAGES, TESTING AND RANDOMNESS [J].

GAIFMAN, H ;

SNIR, M .

[8]

KRIVINE JL, 1973, ANN MATH LOGIC, V5, P199

[9] COMPLEXITY OSCILLATIONS IN INFINITE BINARY SEQUENCES [J].

MARTINLOF, P .

ZEITSCHRIFT FUR WAHRSCHEINLICHKEITSTHEORIE UND VERWANDTE GEBIETE, 1971, 19 (03) :225-+

[10] RECURSION-THEORY ON FIELDS AND ABSTRACT DEPENDENCE [J].

METAKIDES, G ;

NERODE, A .