-
1
-
-
0039681742
-
Randomness in computability theory
-
(P. A. Cholak, S. Lempp, M. Lerman, and R. A. Shore, editors), Contemporary Mathematics, American Mathematical Society
-
K. AMBOS-SPEES and A. KUČERA, Randomness in computability theory, Computability Theory and its Applications (Boulder, CO, 1999) (P. A. Cholak, S. Lempp, M. Lerman, and R. A. Shore, editors), Contemporary Mathematics, vol. 257, American Mathematical Society, 2000, pp. 1-14.
-
(2000)
Computability Theory and Its Applications (Boulder, CO, 1999)
, vol.257
, pp. 1-14
-
-
Ambos-Spees, K.1
Kučera, A.2
-
2
-
-
0034871624
-
Hausdorff dimension in exponential time
-
IEEE Computer Society
-
K. AMBOS-SPIES, W. MERKLE, J. REIMANN, and F. STEPHAN, Hausdorff dimension in exponential time. Computational Complexity, 2001, IEEE Computer Society, 2001, pp. 210-217.
-
(2001)
Computational Complexity, 2001
, pp. 210-217
-
-
Ambos-Spies, K.1
Merkle, W.2
Reimann, J.3
Stephan, F.4
-
3
-
-
35248850634
-
Sophistication revisited
-
(J. C. M. Baeten, J. K. Lenstra, J. Parrow, and G. J. Woeginger, editors), Lecture Notes in Computer Science, Springer-Verlag
-
L. ANTUNES and L. FORTNOW, Sophistication revisited, Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 (J. C. M. Baeten, J. K. Lenstra, J. Parrow, and G. J. Woeginger, editors), Lecture Notes in Computer Science, vol. 2719, Springer-Verlag, 2003, pp. 267-277.
-
(2003)
Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003
, vol.2719
, pp. 267-277
-
-
Antunes, L.1
Fortnow, L.2
-
4
-
-
34948824745
-
Effective strong dimension in algorithmic information and computational complexity
-
to appear
-
K. B. ATHREYA, J. M. HITCHCOCK, J. H. LUTZ, and E. MAYORDOMO, Effective strong dimension in algorithmic information and computational complexity, SIAM Journal on Computing, to appear,
-
SIAM Journal on Computing
-
-
Athreya, K.B.1
Hitchcock, J.M.2
Lutz, J.H.3
Mayordomo, E.4
-
5
-
-
33748566147
-
-
extended abstract Springer-Verlag
-
extended abstract in Proceedings of the Twenty-First Symposium on Theoretical Aspects of Computer Science (Montpellier, France, March 25-27, 2004), Springer-Verlag, 2004, pp. 632-643.
-
(2004)
Proceedings of the Twenty-First Symposium on Theoretical Aspects of Computer Science (Montpellier, France, March 25-27, 2004)
, pp. 632-643
-
-
-
6
-
-
26444568238
-
Computably enumerable sets in the Solovay and the strong weak truth table degrees
-
(S. B. Cooper, B. Löwe, and L. Torenvliet, editors), Lecture Notes in Computer Science, Springer-Verlag
-
G. BARMPALIAS, Computably enumerable sets in the Solovay and the strong weak truth table degrees, New Computational Paradigms: First Conference on Computability in Europe, CiE 2005. Amsterdam, The Netherlands, June 8-12, 2005 (S. B. Cooper, B. Löwe, and L. Torenvliet, editors), Lecture Notes in Computer Science, vol. 3526, Springer-Verlag, 2005, pp. 8-17.
-
(2005)
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005. Amsterdam, the Netherlands, June 8-12, 2005
, vol.3526
, pp. 8-17
-
-
Barmpalias, G.1
-
8
-
-
0000738839
-
Complexity of programs to determine whether natural numbers not greater than n belong to a recursively enumerable set
-
J. M. BARZDINS, Complexity of programs to determine whether natural numbers not greater than n belong to a recursively enumerable set, Soviet Mathematics - Doklady, vol. 9 (1968), pp. 1251-1254.
-
(1968)
Soviet Mathematics - Doklady
, vol.9
, pp. 1251-1254
-
-
Barzdins, J.M.1
-
9
-
-
0036703961
-
Another example of higher order randomness
-
V. BECHER and G. CHAITIN, Another example of higher order randomness, Fundamenta Informaticae, vol. 51 (2002), pp. 325-338.
-
(2002)
Fundamenta Informaticae
, vol.51
, pp. 325-338
-
-
Becher, V.1
Chaitin, G.2
-
10
-
-
0002880954
-
A highly random number
-
(C. S. Calude, M. J. Dinneen, and S. Sburlan, editors), Discrete Mathematics and Theoretical Computer Science, Springer-Verlag
-
V. BECHER, S. DAICZ, and G. CHAITIN, A highly random number, Combinatorics, Computability and Logic (Constanta, 2001) (C. S. Calude, M. J. Dinneen, and S. Sburlan, editors), Discrete Mathematics and Theoretical Computer Science, Springer-Verlag, 2001, pp. 55-68.
-
(2001)
Combinatorics, Computability and Logic (Constanta, 2001)
, pp. 55-68
-
-
Becher, V.1
Daicz, S.2
Chaitin, G.3
-
11
-
-
24644482709
-
Random reals and possibly infinite computations part I: Randomness in0′
-
V. BECHER and S. GRIGORIEFF, Random reals and possibly infinite computations part I: randomness in 0′, The Journal of Symbolic Logic, vol. 70 (2005), pp. 891-913.
-
(2005)
The Journal of Symbolic Logic
, vol.70
, pp. 891-913
-
-
Becher, V.1
Grigorieff, S.2
-
12
-
-
18944405701
-
Lowness properties of reals and hyper-immunity
-
Electronic Notes in Theoretical Computer Science, Elsevier
-
B. R. C. BEDREGAL and A. NIES, Lowness properties of reals and hyper-immunity, WoLLIC 2003, Electronic Notes in Theoretical Computer Science, vol. 84, Elsevier, 2003, http://wwwl.elsevier.com/gej-ng/31/29/23/142/23/show/ Products/notes/ index.htt#001.
-
(2003)
WoLLIC 2003
, vol.84
-
-
Bedregal, B.R.C.1
Nies, A.2
-
13
-
-
84858929281
-
Enumerations of the Kolmogorov function
-
R. BEIGEL, H. BUHRMAN, P. FEJER, L. FORTNOW, P. GRABOWSKI, L. LONGPRÉ, A. MUCHNIK, F. STEPHAN, and L. TORENVLIET, Enumerations of the Kolmogorov function, Electronic Colloquium on Computational Complexity, TR04-015, 2004, http://eccc. uni-trier.de/eccc-reports/2004/TR04-015/.
-
(2004)
Electronic Colloquium on Computational Complexity, TR04-015
-
-
Beigel, R.1
Buhrman, H.2
Fejer, P.3
Fortnow, L.4
Grabowski, P.5
Longpré, L.6
Muchnik, A.7
Stephan, F.8
Torenvliet, L.9
-
14
-
-
0028712369
-
On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line
-
J.-Y. CAI and J. HARTMANIS, On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line, Journal of Computer and System Sciences, vol. 49 (1994), pp. 605-619.
-
(1994)
Journal of Computer and System Sciences
, vol.49
, pp. 605-619
-
-
Cai, J.-Y.1
Hartmanis, J.2
-
16
-
-
0006893032
-
Program-size complexity of initial segments and domination reducibility
-
(J. Karhumäki, H. Maurer, G. Pǎun, and G. Rozenberg, editors), Springer-Verlag
-
C. S. CALUDE and R. J. COLES, Program-size complexity of initial segments and domination reducibility, Jewels are forever (J. Karhumäki, H. Maurer, G. Pǎun, and G. Rozenberg, editors), Springer-Verlag, 1999, pp. 225-237.
-
(1999)
Jewels Are Forever
, pp. 225-237
-
-
Calude, C.S.1
Coles, R.J.2
-
17
-
-
0003236129
-
Degree-theoretic aspects of computably enumerable reals
-
(S. B. Cooper and J. K. Truss, editors), London Mathematical Society Lecture Note Series, Cambridge University Press
-
C. S. CALUDE, R. COLES, P. H. HERTLING, and B. KHOUSSAINOV, Degree-theoretic aspects of computably enumerable reals, Models and computability (S. B. Cooper and J. K. Truss, editors), London Mathematical Society Lecture Note Series, vol. 259, Cambridge University Press, 1999, pp. 23-39.
-
(1999)
Models and Computability
, vol.259
, pp. 23-39
-
-
Calude, C.S.1
Coles, R.2
Hertling, P.H.3
Khoussainov, B.4
-
18
-
-
0034899598
-
Recursively enumerable reals and Chaitin Ω numbers
-
C. S. CALUDE, P. H. HERTLING, B. KHOUSSAINOV, and Y. WANG, Recursively enumerable reals and Chaitin Ω numbers. Theoretical Computer Science, vol. 255 (2001), pp. 125-149,
-
(2001)
Theoretical Computer Science
, vol.255
, pp. 125-149
-
-
Calude, C.S.1
Hertling, P.H.2
Khoussainov, B.3
Wang, Y.4
-
19
-
-
0001199912
-
-
extended abstract Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
extended abstract in STAGS 98, Lecture Notes in Computer Science, 1373, Springer-Verlag, Berlin, 1998, pp. 596-606.
-
(1998)
STAGS 98
, vol.1373
, pp. 596-606
-
-
-
21
-
-
33644803931
-
On partial randomness
-
C. S. CALUDE, L. STAIGER, and S. A. TERWIJN, On partial randomness, Annals of Pure and Applied Logic, vol. 138 (2006), no. 1-3, pp. 20-30.
-
(2006)
Annals of Pure and Applied Logic
, vol.138
, Issue.1-3
, pp. 20-30
-
-
Calude, C.S.1
Staiger, L.2
Terwijn, S.A.3
-
22
-
-
0016532771
-
A theory of program size formally identical to information theory
-
G. J. CHAITIN, A theory of program size formally identical to information theory, Journal of the ACM, vol. 22 (1975), pp. 329-340.
-
(1975)
Journal of the ACM
, vol.22
, pp. 329-340
-
-
Chaitin, G.J.1
-
23
-
-
0000303535
-
Algorithmic information theory
-
_, Algorithmic information theory, IBM Journal of Research and Development, vol. 21 (1977), pp. 350-359, 496.
-
(1977)
IBM Journal of Research and Development
, vol.21
, pp. 350-359
-
-
-
25
-
-
0000761947
-
Incompleteness theorems for random reals
-
_, Incompleteness theorems for random reals, Advances in Applied Mathematics, vol. 8(1987), pp. 119-146.
-
(1987)
Advances in Applied Mathematics
, vol.8
, pp. 119-146
-
-
-
26
-
-
0037185209
-
Upper semi-lattice of binary strings with the relation "x is simple conditional to y"
-
A. V. CHERNOV, AN. A. MUCHNIK, A. E. ROMASHCHENKO, A. SHEN, and N. K. VERESHCHAGIN, Upper semi-lattice of binary strings with the relation "x is simple conditional to y", Theoretical Computer Science, vol. 271 (2002), pp. 69-95.
-
(2002)
Theoretical Computer Science
, vol.271
, pp. 69-95
-
-
Chernov, A.V.1
Muchnik, An.A.2
Romashchenko, A.E.3
Shen, A.4
Vereshchagin, N.K.5
-
30
-
-
4744344877
-
Characterising the Martin-Löf random sequences using computably enumerable sets of measure one
-
G. DAVIE, Characterising the Martin-Löf random sequences using computably enumerable sets of measure one, Information Processing Letters, vol. 92 (2004), pp. 157-160.
-
(2004)
Information Processing Letters
, vol.92
, pp. 157-160
-
-
Davie, G.1
-
31
-
-
0002117788
-
Computability by probabilistic machines
-
Annals of Mathematics Studies, Princeton University Press
-
K. DE LEEUW, E. F. MOORE, C. F. SHANNON, and N. SHAPIRO, Computability by probabilistic machines, Automata studies, Annals of Mathematics Studies, vol. 34, Princeton University Press, 1956, pp. 183-212.
-
(1956)
Automata Studies
, vol.34
, pp. 183-212
-
-
De Leeuw, K.1
Moore, E.F.2
Shannon, C.F.3
Shapiro, N.4
-
32
-
-
0008780480
-
Remarks on the structure of tt-degrees based on constructive measure theory
-
O. DEMUTH, Remarks on the structure of tt-degrees based on constructive measure theory, Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), pp. 233-247.
-
(1988)
Commentationes Mathematicae Universitatis Carolinae
, vol.29
, pp. 233-247
-
-
Demuth, O.1
-
33
-
-
33745830458
-
Some computability-theoretic aspects of reals and randomness
-
(P. Cholak, editor), Lecture Notes in Logic, Association for Symbolic Logic
-
R. DOWNEY, Some computability-theoretic aspects of reals and randomness, The Notre Dame Lectures (P. Cholak, editor), Lecture Notes in Logic, vol. 18, Association for Symbolic Logic, 2005, pp. 97-148.
-
(2005)
The Notre Dame Lectures
, vol.18
, pp. 97-148
-
-
Downey, R.1
-
35
-
-
8744266320
-
On Schnorr and computable randomness, martingales, and machines
-
R. DOWNEY, E. GRIFFITHS, and G. LAFORTE, On Schnorr and computable randomness, martingales, and machines, Mathematical Logic Quarterly, vol. 50 (2004), pp. 613-627.
-
(2004)
Mathematical Logic Quarterly
, vol.50
, pp. 613-627
-
-
Downey, R.1
Griffiths, E.2
Laforte, G.3
-
36
-
-
3242725785
-
On Kurtz randomness
-
R. DOWNEY, E. GRIFFITHS, and S. REID, On Kurtz randomness. Theoretical Computer Science, vol. 321 (2004), pp. 249-270.
-
(2004)
Theoretical Computer Science
, vol.321
, pp. 249-270
-
-
Downey, R.1
Griffiths, E.2
Reid, S.3
-
38
-
-
0842300595
-
Randomness and reducibility
-
R. DOWNEY, D. R. HIRSCHFELDT, and G. LAFORTE, Randomness and reducibility, Journal of Computer and System Sciences, vol. 68 (2004), pp. 96-114,
-
(2004)
Journal of Computer and System Sciences
, vol.68
, pp. 96-114
-
-
Downey, R.1
Hirschfeldt, D.R.2
Laforte, G.3
-
39
-
-
0010402351
-
-
extended abstract in (J. Sgall, A. Pultr, and P. Kohnan, editors), Lecture Notes in Computer Science, Springer-Verlag
-
extended abstract in Mathematical Foundations of Computer Science 2001 (J. Sgall, A. Pultr, and P. Kohnan, editors), Lecture Notes in Computer Science, 2136, Springer-Verlag, 2001, pp. 316-327.
-
(2001)
Mathematical Foundations of Computer Science 2001
, vol.2136
, pp. 316-327
-
-
-
41
-
-
33745839582
-
Relativizing Chaitin's halting probability
-
R. DOWNEY, D. R. HIRSCHFELDT, J. S. MILLER, and A. NIES, Relativizing Chaitin's halting probability, Journal of Mathematical Logic, vol. 5 (2005), pp. 167-192.
-
(2005)
Journal of Mathematical Logic
, vol.5
, pp. 167-192
-
-
Downey, R.1
Hirschfeldt, D.R.2
Miller, J.S.3
Nies, A.4
-
42
-
-
0036520623
-
Randomness, computability, and density
-
R. DOWNEY, D. R. HIRSCHFELDT, and A. NIES, Randomness, computability, and density, SIAM Journal on Computing, vol. 31 (2002), pp. 1169-1183,
-
(2002)
SIAM Journal on Computing
, vol.31
, pp. 1169-1183
-
-
Downey, R.1
Hirschfeldt, D.R.2
Nies, A.3
-
43
-
-
33748547916
-
-
extended abstract (A. Ferreira and H. Reichet, editors), Lecture Notes in Computer Science, Springer-Verlag
-
extended abstract in STACS 2001 Proceedings (A. Ferreira and H. Reichet, editors), Lecture Notes in Computer Science, vol. 2010, Springer-Verlag, 2001, pp. 195-201.
-
(2001)
STACS 2001 Proceedings
, vol.2010
, pp. 195-201
-
-
-
44
-
-
3543080744
-
Trivial reals
-
(R. Downey, D. Decheng, T. S. Ping, Q. Y. Hui, and M. Yasugi, editors), Singapore University Press and World Scientific
-
R. DOWNEY, D. R. HIRSCHFELDT, A. NIES, and F. STEPHAN, Trivial reals, Proceedings of the 7th and 8th Asian Logic Conferences (R. Downey, D. Decheng, T. S. Ping, Q. Y. Hui, and M. Yasugi, editors), Singapore University Press and World Scientific, 2003,
-
(2003)
Proceedings of the 7th and 8th Asian Logic Conferences
-
-
Downey, R.1
Hirschfeldt, D.R.2
Nies, A.3
Stephan, F.4
-
46
-
-
0009917430
-
Array nonrecursive sets and multiple permitting arguments
-
(K. Ambos-Spies, G. H. Müller, and G. E. Sacks, editors), Lecture Notes in Mathematics, Springer-Verlag
-
R. DOWNEY, C. JOCKUSCH, and M. STOB, Array nonrecursive sets and multiple permitting arguments, Recursion Theory Week (Oberwolfach, 1989) (K. Ambos-Spies, G. H. Müller, and G. E. Sacks, editors), Lecture Notes in Mathematics, vol. 1432, Springer-Verlag, 1990, pp. 141-174.
-
(1990)
Recursion Theory Week (Oberwolfach, 1989)
, vol.1432
, pp. 141-174
-
-
Downey, R.1
Jockusch, C.2
Stob, M.3
-
47
-
-
0003002645
-
Array nonrecursive degrees and genericity
-
(S. B. Cooper, T. A. Slaman, and S. S. Wainer, editors), London Mathematical Society Lecture Notes Series, Cambridge University Press
-
_, Array nonrecursive degrees and genericity, Computability, enumerability, unsolvability (S. B. Cooper, T. A. Slaman, and S. S. Wainer, editors), London Mathematical Society Lecture Notes Series, vol. 224, Cambridge University Press, 1996, pp. 93-104.
-
(1996)
Computability, Enumerability, Unsolvability
, vol.224
, pp. 93-104
-
-
-
51
-
-
0000189643
-
On the symmetry of algorithmic information
-
P. GÁCS, On the symmetry of algorithmic information, Soviet Mathematics - Doklady, vol. 15 (1974), pp. 1477-1480.
-
(1974)
Soviet Mathematics - Doklady
, vol.15
, pp. 1477-1480
-
-
Gács, P.1
-
52
-
-
0022761997
-
Every sequence is reducible to a random one
-
_, Every sequence is reducible to a random one, Information and Control, vol. 70 (1986), pp. 186-192.
-
(1986)
Information and Control
, vol.70
, pp. 186-192
-
-
-
54
-
-
34250950477
-
Dimension und äußeres Maß
-
F. HAUSDORFF, Dimension und äußeres Maß, Mathematische Annalen, vol. 79 (1919), pp. 157-179.
-
(1919)
Mathematische Annalen
, vol.79
, pp. 157-179
-
-
Hausdorff, F.1
-
58
-
-
11844292310
-
Weak recursive degrees and a problem of Spector
-
(M. Arslanov and S. Lempp, editors), de Gruyter, Berlin
-
S. ISHMUKHAMETOV, Weak recursive degrees and a problem of Spector, Recursion theory and complexity (M. Arslanov and S. Lempp, editors), de Gruyter, Berlin, 1999, pp. 81-88.
-
(1999)
Recursion Theory and Complexity
, pp. 81-88
-
-
Ishmukhametov, S.1
-
60
-
-
0011289637
-
Three easy constructions of recursively enumerable sets
-
(Proceedings of Seminars and Conferences in Mathematical Logic, University of Connecticut, Storrs, Conn., 1979/80) (M. Lerman, J. H. Schmerl, and R. I. Scare, editors), Lecture Notes in Mathematics, Springer-Verlag
-
_, Three easy constructions of recursively enumerable sets, Logic Year 1979-80 (Proceedings of Seminars and Conferences in Mathematical Logic, University of Connecticut, Storrs, Conn., 1979/80) (M. Lerman, J. H. Schmerl, and R. I. Scare, editors), Lecture Notes in Mathematics, vol. 859, Springer-Verlag, 1981, pp. 83-91.
-
(1981)
Logic Year 1979-80
, vol.859
, pp. 83-91
-
-
-
61
-
-
0000366084
-
Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion
-
C. G. JOCKUSCH, JR., M. LERMAN, R. I. SOARE, and R. SOLOVAY, Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion, The Journal of Symbolic Logic, vol. 54 (1989), pp. 1288-1323.
-
(1989)
The Journal of Symbolic Logic
, vol.54
, pp. 1288-1323
-
-
Jockusch Jr., C.G.1
Lerman, M.2
Soare, R.I.3
Solovay, R.4
-
64
-
-
51249189307
-
Subsequences of normal sequences
-
T. KAMAE, Subsequences of normal sequences, Israel Journal of Mathematics, vol. 16 (1973), pp. 121-149.
-
(1973)
Israel Journal of Mathematics
, vol.16
, pp. 121-149
-
-
Kamae, T.1
-
65
-
-
0038546835
-
Complexity dips in random infinite binary sequences
-
H. P. KATSEFF, Complexity dips in random infinite binary sequences, Information and Control, vol. 38 (1978), pp. 258-263.
-
(1978)
Information and Control
, vol.38
, pp. 258-263
-
-
Katseff, H.P.1
-
66
-
-
0004290929
-
-
PhD Dissertation, Cornell University
-
S. M. KAUTZ, Degrees of random sets, PhD Dissertation, Cornell University, 1991.
-
(1991)
Degrees of Random Sets
-
-
Kautz, S.M.1
-
67
-
-
85007345517
-
-
A. S. Kechris and Y. Moschovakis (editors), Lecture Notes in Mathematics, Springer-Verlag
-
A. S. Kechris and Y. Moschovakis (editors), Cabal Seminar 76-77, Lecture Notes in Mathematics, vol. 689, Springer-Verlag, 1978.
-
(1978)
Cabal Seminar 76-77
, vol.689
-
-
-
68
-
-
33745463530
-
Lowness for the class of Schnorr random reals
-
preliminary results in [11]
-
B. KJOS-HANSSEN, A. NIES, and F. STEPHAN, Lowness for the class of Schnorr random reals, SIAM Journal on Computing, vol. 35 (2006), no. 3, pp. 647-657, preliminary results in [11].
-
(2006)
SIAM Journal on Computing
, vol.35
, Issue.3
, pp. 647-657
-
-
Kjos-Hanssen, B.1
Nies, A.2
Stephan, F.3
-
69
-
-
0022982850
-
On the notion of infinite pseudorandom sequences
-
K.-I Ko, On the notion of infinite pseudorandom sequences, Theoretical Computer Science, vol. 48 (1986), pp. 9-33.
-
(1986)
Theoretical Computer Science
, vol.48
, pp. 9-33
-
-
Ko, K.-I.1
-
71
-
-
0003892123
-
-
M.Sc. Thesis, MIT
-
L. G. KRAFT, A device for quantizing, grouping, and coding amplitude modulated pulses, M.Sc. Thesis, MIT, 1949.
-
(1949)
A Device for Quantizing, Grouping, and Coding Amplitude Modulated Pulses
-
-
Kraft, L.G.1
-
72
-
-
0000701330
-
0-classes and complete extensions of PA
-
(H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks, editors), Lecture Notes in Mathematics, Springer-Verlag
-
0-classes and complete extensions of PA, Recursion Theory Week (H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks, editors), Lecture Notes in Mathematics, vol. 1141, Springer-Verlag, 1985, pp. 245-259.
-
(1985)
Recursion Theory Week
, vol.1141
, pp. 245-259
-
-
Kučera, A.1
-
73
-
-
77956971563
-
On the use of diagonally nonrecursive functions
-
(H.-D. Ebbinghaus, editor), Studies in Logic and the Foundations of Mathematics, NorthHolland
-
_, On the use of diagonally nonrecursive functions, Logic Colloquium '87 (H.-D. Ebbinghaus, editor), Studies in Logic and the Foundations of Mathematics, vol. 129, NorthHolland, 1989, pp. 219-239.
-
(1989)
Logic Colloquium '87
, vol.129
, pp. 219-239
-
-
-
74
-
-
38249002629
-
On relative randomness
-
_, On relative randomness. Annals of Pure and Applied Logic, vol. 63 (1993), pp. 61-67.
-
(1993)
Annals of Pure and Applied Logic
, vol.63
, pp. 61-67
-
-
-
75
-
-
0036214633
-
Randomness and recursive enumerability
-
A. KUČERA and T. A. SLAMAN, Randomness and recursive enumerability, SIAM Journal on Computing, vol. 31 (2001), pp. 199-211.
-
(2001)
SIAM Journal on Computing
, vol.31
, pp. 199-211
-
-
Kučera, A.1
Slaman, T.A.2
-
77
-
-
0009975816
-
Kolmogorov complexity and instance complexity of recursively enumerable sets
-
M. KUMMER, Kolmogorov complexity and instance complexity of recursively enumerable sets, SIAM Journal on Computing, vol. 25 (1996), pp. 1123-1143.
-
(1996)
SIAM Journal on Computing
, vol.25
, pp. 1123-1143
-
-
Kummer, M.1
-
80
-
-
0000508181
-
On the notion of a random sequence
-
_, On the notion of a random sequence, Soviet Mathematics - Doklady, vol. 14 (1973), pp. 1413-1416.
-
(1973)
Soviet Mathematics - Doklady
, vol.14
, pp. 1413-1416
-
-
-
81
-
-
0016078993
-
Laws of information conservation (non-growth) and aspects of the foundation of probability theory
-
_, Laws of information conservation (non-growth) and aspects of the foundation of probability theory, Problems of Information Transmission, vol. 10 (1974), pp. 206-210.
-
(1974)
Problems of Information Transmission
, vol.10
, pp. 206-210
-
-
-
84
-
-
0014616203
-
A variant of the Kolmogorov concept of complexity
-
D. LOVEIAND, A variant of the Kolmogorov concept of complexity. Information and Control, vol. 15 (1969), pp. 510-526.
-
(1969)
Information and Control
, vol.15
, pp. 510-526
-
-
Loveiand, D.1
-
85
-
-
0025682948
-
Category and measure in complexity classes
-
J. H. LUTZ, Category and measure in complexity classes, SIAM Journal on Computing, vol. 19 (1990), pp. 1110-1131.
-
(1990)
SIAM Journal on Computing
, vol.19
, pp. 1110-1131
-
-
Lutz, J.H.1
-
86
-
-
0026851355
-
Almost everywhere high nonuniform complexity
-
_, Almost everywhere high nonuniform complexity, Journal of Computer and System Sciences, vol. 44 (1992), pp. 220-258.
-
(1992)
Journal of Computer and System Sciences
, vol.44
, pp. 220-258
-
-
-
87
-
-
0345227319
-
Dimension in complexity classes
-
_, Dimension in complexity classes, SIAM Journal on Computing, vol. 32 (2003), pp. 1236-1259,
-
(2003)
SIAM Journal on Computing
, vol.32
, pp. 1236-1259
-
-
-
88
-
-
3342891888
-
-
extended abstract (Florence, 2000) (F. Titsworth, editor), IEEE Computer Society, Los Alamitos, CA
-
extended abstract in 15th Annual IEEE Conference on Computational Complexity (Florence, 2000) (F. Titsworth, editor), IEEE Computer Society, Los Alamitos, CA, 2000, pp. 158-169).
-
(2000)
15th Annual IEEE Conference on Computational Complexity
, pp. 158-169
-
-
-
89
-
-
0344118726
-
The dimensions of individual strings and sequences
-
_, The dimensions of individual strings and sequences, Information and Computation, vol. 187 (2003), pp. 49-79,
-
(2003)
Information and Computation
, vol.187
, pp. 49-79
-
-
-
90
-
-
84974575141
-
Gales and the constructive dimension of individual sequences
-
preliminary version: (U. Montanari, J. D. P. Rolim, and E. Welzl, editors), SpringerVerlag
-
preliminary version: Gales and the constructive dimension of individual sequences, in Proceedings of the 27th International Colloquium on Automata, Languages, and Programming, (U. Montanari, J. D. P. Rolim, and E. Welzl, editors), SpringerVerlag, 2000, pp. 902-913.
-
(2000)
Proceedings of the 27th International Colloquium on Automata, Languages, and Programming
, pp. 902-913
-
-
-
91
-
-
11944273760
-
Effective fractal dimensions
-
_, Effective fractal dimensions, Mathematical Logic Quarterly, vol. 51 (2005), pp. 62-72.
-
(2005)
Mathematical Logic Quarterly
, vol.51
, pp. 62-72
-
-
-
92
-
-
18344371384
-
The definition of random sequences
-
P. MARTIN-LÖF, The definition of random sequences, Information and Control, vol. 9 (1966), pp. 602-619.
-
(1966)
Information and Control
, vol.9
, pp. 602-619
-
-
Martin-Löf, P.1
-
93
-
-
0037120704
-
A Kolmogorov complexity characterization of constructive Hausdorff dimension
-
E. MAYORDOMO, A Kolmogorov complexity characterization of constructive Hausdorff dimension, Information Processing Letters, vol. 84 (2002), pp. 1-3.
-
(2002)
Information Processing Letters
, vol.84
, pp. 1-3
-
-
Mayordomo, E.1
-
95
-
-
33748578480
-
-
preliminary version in IEEE Computer Society Press
-
preliminary version in Conference on Computational Complexity 2003, IEEE Computer Society Press, 2003, pp. 230-235.
-
(2003)
Conference on Computational Complexity 2003
, pp. 230-235
-
-
-
96
-
-
4644291058
-
On the construction of effective random sets
-
W. MERKLE and N. MIHAILOVIĆ, On the construction of effective random sets, The Journal of Symbolic Logic, vol. 69 (2004), pp. 862-878,
-
(2004)
The Journal of Symbolic Logic
, vol.69
, pp. 862-878
-
-
Merkle, W.1
Mihailović, N.2
-
97
-
-
23044533873
-
-
preliminary version in (K. Diks and W. Rytter, editors), Lecture Notes in Computer Science, Springer-Verlag, 2002
-
preliminary version in Mathematical Foundations of Computer Science, 2002 (K. Diks and W. Rytter, editors), Lecture Notes in Computer Science, vol. 2420, Springer-Verlag, 2002, pp. 568-580.
-
(2002)
Mathematical Foundations of Computer Science
, vol.2420
, pp. 568-580
-
-
-
99
-
-
33748579767
-
-
preliminary version in Lecture Notes in Computer Science, Springer-Verlag
-
preliminary version in International Colloquium on Automata, Languages and Programming 2004, Lecture Notes in Computer Science, vol. 3142, Springer-Verlag, 2004, pp. 983-995.
-
(2004)
International Colloquium on Automata, Languages and Programming 2004
, vol.3142
, pp. 983-995
-
-
-
100
-
-
33644802778
-
Kolmogorov-Loveland randomness and stochasticity
-
W. MERKLE, J. S. MILLER, A. NIES, J. REIMANN, and F. STEPHAN, Kolmogorov-Loveland randomness and stochasticity, Annals of Pure and Applied Logic, vol. 138 (2006), no. 13, pp. 183-210,
-
(2006)
Annals of Pure and Applied Logic
, vol.138
, Issue.13
, pp. 183-210
-
-
Merkle, W.1
Miller, J.S.2
Nies, A.3
Reimann, J.4
Stephan, F.5
-
101
-
-
33748543437
-
-
preliminary version in Lecture Notes in Computer Science, Springer-Verlag
-
preliminary version in STAGS 2005, Lecture Notes in Computer Science, vol. 3404, Springer-Verlag, 2005, pp. 422-433.
-
(2005)
STAGS 2005
, vol.3404
, pp. 422-433
-
-
-
102
-
-
4644309025
-
Every 2-random real is Kolmogorov random
-
J. S. MILLER, Every 2-random real is Kolmogorov random, The Journal of Symbolic Logic, vol. 69 (2004), pp. 907-913.
-
(2004)
The Journal of Symbolic Logic
, vol.69
, pp. 907-913
-
-
Miller, J.S.1
-
104
-
-
33748541285
-
-
this BULLETIN
-
J. S. MILLER and A. NIES, Randomness and computability: open questions, this BULLETIN, vol. 12 (2006), no. 3, pp. 390-410.
-
(2006)
Randomness and Computability: Open Questions
, vol.12
, Issue.3
, pp. 390-410
-
-
Miller, J.S.1
Nies, A.2
-
108
-
-
0009893308
-
Mathematical metaphysics of randomness
-
A. A. MUCHNIK, A. L. SEMENOV, and V. A. USPENSKY, Mathematical metaphysics of randomness, Theoretical Computer Science, vol. 207 (1998), pp. 263-317.
-
(1998)
Theoretical Computer Science
, vol.207
, pp. 263-317
-
-
Muchnik, A.A.1
Semenov, A.L.2
Uspensky, V.A.3
-
110
-
-
23044523559
-
Effectively dense Boolean algebras and their applications
-
A. NIES, Effectively dense Boolean algebras and their applications, Transactions of the American Mathematical Society, vol. 352 (2000), pp. 4989-5012.
-
(2000)
Transactions of the American Mathematical Society
, vol.352
, pp. 4989-5012
-
-
Nies, A.1
-
111
-
-
24644511669
-
Lowness properties and randomness
-
_, Lowness properties and randomness, Advances in Mathematics, vol. 197 (2005), pp. 274-305.
-
(2005)
Advances in Mathematics
, vol.197
, pp. 274-305
-
-
-
112
-
-
37249070657
-
Reals which compute little
-
(Z. Chatzidakis, P. Koepke, and W. Pohlers, editors), Lecture Notes in Logic, Association for Symbolic Logic
-
_, Reals which compute little, Logic Colloquium '02 (Z. Chatzidakis, P. Koepke, and W. Pohlers, editors), Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, 2006, pp. 261-275.
-
(2006)
Logic Colloquium '02
, vol.27
, pp. 261-275
-
-
-
116
-
-
20444494956
-
Randomness, relativization, and Turing degrees
-
A. NIES, F. STEPHAN, and S. A. TERWIJN, Randomness, relativization, and Turing degrees, The Journal of Symbolic Logic, vol. 70 (2005), pp. 515-535.
-
(2005)
The Journal of Symbolic Logic
, vol.70
, pp. 515-535
-
-
Nies, A.1
Stephan, F.2
Terwijn, S.A.3
-
117
-
-
33748563013
-
-
Studies in Logic and the Foundations of Mathematics, North-Holland
-
P. G. ODIFREDDI, Classical recursion theory, vol. 1, Studies in Logic and the Foundations of Mathematics, vol. 125, North-Holland, 1989.
-
(1989)
Classical Recursion Theory, Vol. 1
, vol.125
-
-
Odifreddi, P.G.1
-
118
-
-
33748570323
-
-
Studies in Logic and the Foundations of Mathematics, North-Holland
-
_, Classical recursion theory vol. 2, Studies in Logic and the Foundations of Mathematics, vol. 143, North-Holland, 1999.
-
(1999)
Classical Recursion Theory Vol. 2
, vol.143
-
-
-
120
-
-
51249180565
-
A mathematical proof of S. Shelah's theorem on the measure problem and related results
-
J. RAISONNIER, A mathematical proof of S. Shelah's theorem on the measure problem and related results, Israel Journal of Mathematics, vol. 48 (1984), pp. 48-56.
-
(1984)
Israel Journal of Mathematics
, vol.48
, pp. 48-56
-
-
Raisonnier, J.1
-
123
-
-
33748560688
-
On hierarchies of randomness tests
-
transparencies for a talk by
-
J. REIMANN and F. STEPHAN, On hierarchies of randomness tests, transparencies for a talk by Stephan at the 9th Asian Logic Conference, available at http://www.math. uni-heidelberg.de/logic/reimann/lectnres.html.
-
Stephan at the 9th Asian Logic Conference
-
-
Reimann, J.1
Stephan, F.2
-
124
-
-
26444528871
-
Coding of combinatorial sources and Hausdorff dimension
-
B. Y. RYABKO, Coding of combinatorial sources and Hausdorff dimension, Doklady Akademii Nauk SSSR, vol. 277 (1984), pp. 1066-1070.
-
(1984)
Doklady Akademii Nauk SSSR
, vol.277
, pp. 1066-1070
-
-
Ryabko, B.Y.1
-
125
-
-
0009927384
-
Noise-free coding of combinatorial sources, Hausdorff dimension and Kolmogorov complexity
-
_, Noise-free coding of combinatorial sources, Hausdorff dimension and Kolmogorov complexity, Problems of Information Transmission (Problemy Peredachi Informatsii), vol. 22 (1986), pp. 16-26.
-
(1986)
Problems of Information Transmission (Problemy Peredachi Informatsii)
, vol.22
, pp. 16-26
-
-
-
126
-
-
0011359947
-
-
Annals of Mathematics Studies, Princeton University Press
-
G. E. SACKS, Degrees of unsolvability. Annals of Mathematics Studies, vol. 55, Princeton University Press, 1963.
-
(1963)
Degrees of Unsolvability
, vol.55
-
-
Sacks, G.E.1
-
127
-
-
0000583779
-
A unified approach to the definition of a random sequence
-
C.-P. SCHNORR, A unified approach to the definition of a random sequence, Mathematical Systems Theory, vol. 5 (1971), pp. 246-258.
-
(1971)
Mathematical Systems Theory
, vol.5
, pp. 246-258
-
-
Schnorr, C.-P.1
-
128
-
-
2942646237
-
-
Lecture Notes in Mathematics, Springer-Verlag
-
_, Zufälligkeit und Wahrscheinlichkeit, Lecture Notes in Mathematics, vol. 218, Springer-Verlag, 1971.
-
(1971)
Zufälligkeit und Wahrscheinlichkeit
, vol.218
-
-
-
129
-
-
0015902552
-
Process complexity and effective random tests
-
_, Process complexity and effective random tests, Journal of Computer and System Sciences, vol. 7 (1973), pp. 376-388.
-
(1973)
Journal of Computer and System Sciences
, vol.7
, pp. 376-388
-
-
-
130
-
-
84856043672
-
The mathematical theory of communication
-
C. E. SHANNON, The mathematical theory of communication, Bell System Technical Journal, vol. 27 (1948), pp. 379-423, 623-656.
-
(1948)
Bell System Technical Journal
, vol.27
, pp. 379-423
-
-
Shannon, C.E.1
-
131
-
-
33646919817
-
Counting the number of equivalence classes of Borel and coanalytic equivalence relations
-
J. H. SILVER, Counting the number of equivalence classes of Borel and coanalytic equivalence relations, Annals of Mathematical Logic, vol. 18 (1980), pp. 1-28.
-
(1980)
Annals of Mathematical Logic
, vol.18
, pp. 1-28
-
-
Silver, J.H.1
-
134
-
-
0011635934
-
A preliminary report on a general theory of inductive inference
-
Zator Company, Cambridge, Mass., November
-
R. J. SOLOMONOFF, A preliminary report on a general theory of inductive inference, Technical Report ZTB-138, Zator Company, Cambridge, Mass., November 1960.
-
(1960)
Technical Report
, vol.ZTB-138
-
-
Solomonoff, R.J.1
-
135
-
-
0002548418
-
A model of set theory in which every set of reals is Lebesgue measurable
-
R. SOLOVAY, A model of set theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, vol. 92 (1970), pp. 1-56.
-
(1970)
Annals of Mathematics
, vol.92
, pp. 1-56
-
-
Solovay, R.1
-
136
-
-
0004108928
-
-
unpublished manuscript, May IBM Thomas J. Watson Research Center, New York
-
_, Draft of a paper (or series of papers) on Chaitin's work, unpublished manuscript, May 1975, IBM Thomas J. Watson Research Center, New York, 215 pp.
-
(1975)
Draft of A Paper (Or Series of Papers) on Chaitin's Work
-
-
-
137
-
-
38249002230
-
Kolmogorov complexity and Hausdorff dimension
-
L. STAIGER, Kolmogorov complexity and Hausdorff dimension, Information and Computation, vol. 103 (1993), pp. 159-194.
-
(1993)
Information and Computation
, vol.103
, pp. 159-194
-
-
Staiger, L.1
-
138
-
-
0038856793
-
A tight upper bound on Kolmogorov complexity and uniformly optimal prediction
-
_, A tight upper bound on Kolmogorov complexity and uniformly optimal prediction, Theory of Computing Systems, vol. 31 (1998), pp. 215-229.
-
(1998)
Theory of Computing Systems
, vol.31
, pp. 215-229
-
-
-
139
-
-
10444249657
-
Constructive dimension equals Kolmogorov complexity
-
_, Constructive dimension equals Kolmogorov complexity, Information Processing Letters, vol. 93 (2005), pp. 149-153,
-
(2005)
Information Processing Letters
, vol.93
, pp. 149-153
-
-
-
140
-
-
33748533034
-
-
preliminary version: University of Auckland, January
-
preliminary version: Research Report CDMTCS-210, University of Auckland, January 2003.
-
(2003)
Research Report
, vol.CDMTCS-210
-
-
-
141
-
-
20444455408
-
Martin-Löf random and PA-complete sets
-
Universität Heidelberg
-
F. STEPHAN, Martin-Löf random and PA-complete sets, Forschungsbericht Mathematische Logik, vol. 58/2002, Universität Heidelberg, 2002.
-
(2002)
Forschungsbericht Mathematische Logik
, vol.58
, Issue.2002
-
-
Stephan, F.1
-
142
-
-
10444239935
-
A generalization of Chaitin's halting probability Ω and halting self-similar sets
-
K. TADAKI, A generalization of Chaitin's halting probability Ω and halting self-similar sets, Hokkaido Mathematical Journal, vol. 31 (2002), pp. 219-253.
-
(2002)
Hokkaido Mathematical Journal
, vol.31
, pp. 219-253
-
-
Tadaki, K.1
-
143
-
-
0008961564
-
-
PhD Dissertation, University of Amsterdam/ILLC
-
S. A. TERWIJN, Computability and measure, PhD Dissertation, University of Amsterdam/ILLC, 1998.
-
(1998)
Computability and Measure
-
-
Terwijn, S.A.1
-
145
-
-
33748577538
-
-
preliminary version: University of Auckland, March
-
preliminary version: Research Report CDMTCS-212, University of Auckland, March 2003, pp. 1-38.
-
(2003)
Research Report
, vol.CDMTCS-212
, pp. 1-38
-
-
-
147
-
-
0011565585
-
-
PhD Dissertation, University of Amsterdam
-
M. VAN LAMBALGEN, Random sequences, PhD Dissertation, University of Amsterdam, 1987.
-
(1987)
Random Sequences
-
-
Van Lambalgen, M.1
-
148
-
-
0040988824
-
The axiomatization of randomness
-
_, The axiomatization of randomness, The Journal of Symbolic Logic, vol. 55 (1990), pp. 1143-1167.
-
(1990)
The Journal of Symbolic Logic
, vol.55
, pp. 1143-1167
-
-
-
150
-
-
0002899344
-
Grundlagen der wahrscheinlichkeitsrechnung
-
R. VON MISES, Grundlagen der Wahrscheinlichkeitsrechnung, Mathematische Zeitschrift, vol. 5 (1919), pp. 52-99.
-
(1919)
Mathematische Zeitschrift
, vol.5
, pp. 52-99
-
-
Von Mises, R.1
-
151
-
-
0004206289
-
-
PhD Dissertation, University of Heidelberg
-
Y. WANG, Randomness and complexity, PhD Dissertation, University of Heidelberg, 1996.
-
(1996)
Randomness and Complexity
-
-
Wang, Y.1
-
152
-
-
0040914306
-
A separation of two randomness concepts
-
_, A separation of two randomness concepts, Information Processing Letters, vol. 69 (1999), pp. 115-118.
-
(1999)
Information Processing Letters
, vol.69
, pp. 115-118
-
-
-
155
-
-
11844253835
-
There is no sw-complete c.e. real
-
_, There is no sw-complete c.e. real, The Journal of Symbolic Logic, vol. 69 (2004), pp. 1163-1170.
-
(2004)
The Journal of Symbolic Logic
, vol.69
, pp. 1163-1170
-
-
-
156
-
-
3543088028
-
The Kolmogorov complexity of random reals
-
L. Yu, D. DING, and R. DOWNEY, The Kolmogorov complexity of random reals, Annals of Pure and Applied Logic, vol. 129 (2004), pp. 163-180.
-
(2004)
Annals of Pure and Applied Logic
, vol.129
, pp. 163-180
-
-
Yu, L.1
Ding, D.2
Downey, R.3
-
157
-
-
0039556334
-
On sequences with simple initial segments
-
University of Amsterdam
-
D. ZAMBELLA, On sequences with simple initial segments, ILLC technical report ML1990-05, University of Amsterdam, 1990.
-
(1990)
ILLC Technical Report
, vol.ML1990-05
-
-
Zambella, D.1
-
158
-
-
77951203397
-
The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms
-
A. K. ZVONKIN and L. A. LEVIN, The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms, Russian Mathematical Surveys, vol. 25 (1970), pp. 83-124.
-
(1970)
Russian Mathematical Surveys
, vol.25
, pp. 83-124
-
-
Zvonkin, A.K.1
Levin, L.A.2
|