메뉴 건너뛰기




Volumn 12, Issue 3, 2006, Pages 411-491

Calibrating randomness

Author keywords

[No Author keywords available]

Indexed keywords


EID: 33748522028     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2178/bsl/1154698741     Document Type: Review
Times cited : (81)

References (158)
  • 1
    • 0039681742 scopus 로고    scopus 로고
    • 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
  • 6
    • 26444568238 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 14
    • 0028712369 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 19
    • 0001199912 scopus 로고    scopus 로고
    • 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
  • 20
  • 22
    • 0016532771 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 30
    • 4744344877 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 39
    • 0010402351 scopus 로고    scopus 로고
    • 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
  • 43
    • 33748547916 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 53
  • 54
    • 34250950477 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 67
    • 85007345517 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 72
    • 0000701330 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 101
    • 33748543437 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 109
  • 110
    • 23044523559 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 117
    • 33748563013 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 157
    • 0039556334 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.