메뉴 건너뛰기




Volumn 39, Issue 5, 2006, Pages 707-721

Some results on effective randomness

Author keywords

[No Author keywords available]

Indexed keywords

CANTOR SPACES; COMPUTABLY ENUMERABLE; MARTIN-LOF; RANDOM MEASURES; RANDOM SEQUENCE;

EID: 33748546643     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/s00224-005-1212-8     Document Type: Article
Times cited : (14)

References (32)
  • 1
    • 0039681742 scopus 로고    scopus 로고
    • Randomness in computability theory
    • P. A. Cholak et al. (eds.). Contemporary Mathematics 257. American Mathematical Society, Providence, RI
    • K. Ambos-Spies and A. Kučera. Randomness in computability theory. In P. A. Cholak et al. (eds.), Camputability Theory and Its Applications.Current Trends and Open Problems, pp. 1-14. Contemporary Mathematics 257. American Mathematical Society, Providence, RI, 2000.
    • (2000) Camputability Theory and Its Applications. Current Trends and Open Problems , pp. 1-14
    • Ambos-Spies, K.1    Kučera, A.2
  • 2
    • 0003130451 scopus 로고    scopus 로고
    • Resource-bounded measure and randomness
    • A. Sorbi (ed.). Marcel Dekker, New York
    • K. Ambos-Spies and E. Mayordomo. Resource-bounded measure and randomness. In A. Sorbi (ed.), Complexity, Logic, and Recursion Theory, pp. 1-47. Marcel Dekker, New York, 1997.
    • (1997) Complexity, Logic, and Recursion Theory , pp. 1-47
    • Ambos-Spies, K.1    Mayordomo, E.2
  • 5
    • 0037185197 scopus 로고    scopus 로고
    • A characterization of c.e. random reals
    • C. S. Calude. A characterization of c.e. random reals. Theoretical Computer Science 271:3-14, 2002.
    • (2002) Theoretical Computer Science , vol.271 , pp. 3-14
    • Calude, C.S.1
  • 7
    • 33748533426 scopus 로고    scopus 로고
    • M. Morvan et al. (eds.). Lecture Notes in Computer Science 1373. Springer, Berlin
    • A preliminary version appeared in M. Morvan et al. (eds.), Proc. 15th Symposium on Theoietical Aspects of Computer Science, pp. 596-606. Lecture Notes in Computer Science 1373. Springer, Berlin, 1998.
    • (1998) Proc. 15th Symposium on Theoietical Aspects of Computer Science , pp. 596-606
  • 8
    • 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 50(6):613-627, 2004.
    • (2004) Mathematical Logic Quarterly , vol.50 , Issue.6 , pp. 613-627
    • Downey, R.1    Griffiths, E.2    LaForte, G.3
  • 11
    • 16244380485 scopus 로고    scopus 로고
    • Small spans in scaled dimension
    • J. M. Hitchcock. Small spans in scaled dimension. SIAM Journal on Computing 34(1): 170-194, 2004.
    • (2004) SIAM Journal on Computing , vol.34 , Issue.1 , pp. 170-194
    • Hitchcock, J.M.1
  • 14
    • 33748581881 scopus 로고    scopus 로고
    • P. Widmayer et al. (eds.). Lecture Notes in Computer Science 2380. Springer, Berlin
    • A preliminary version appeared in P. Widmayer et al. (eds.), Proc. 29th International Colloquium on Automata, Languages and Programming, pp. 549-560. Lecture Notes in Computer Science 2380. Springer, Berlin, 2002.
    • (2002) Proc. 29th International Colloquium on Automata, Languages and Programming , pp. 549-560
  • 15
    • 0000701330 scopus 로고
    • 0-classes and complete extensions of PA
    • H.-D. Ebbinghaus et al. (eds.). Lecture Notes in Mathematics 1141. Springer, Berlin
    • 0-classes and complete extensions of PA. In H.-D. Ebbinghaus et al. (eds.), Recursion Theory Week, pp. 245-259. Lecture Notes in Mathematics 1141. Springer, Berlin, 1985.
    • (1985) Recursion Theory Week , pp. 245-259
    • Kučera, A.1
  • 16
    • 84875564472 scopus 로고
    • Randomness and generalizations of fixed point free functions
    • K. Ambos-Spies et al. (eds.). Lecture Notes in Mathematics 1432. Springer, Berlin
    • A. Kučera. Randomness and generalizations of fixed point free functions. In K. Ambos-Spies et al. (eds.), Recursion Theory Week, pp. 245-254. Lecture Notes in Mathematics 1432. Springer, Berlin, 1990.
    • (1990) Recursion Theory Week , pp. 245-254
    • Kučera, A.1
  • 17
    • 0036214633 scopus 로고    scopus 로고
    • Randomness and recursive enumerability
    • A. Kučera and T. A. Slaman. Randomness and recursive enumerability. SIAM Journal on Computing 31(1):199-211, 2001.
    • (2001) SIAM Journal on Computing , vol.31 , Issue.1 , pp. 199-211
    • Kučera, A.1    Slaman, T.A.2
  • 19
    • 0026851355 scopus 로고
    • Almost everywhere high nonuniform complexity
    • J. H. Lutz. Almost everywhere high nonuniform complexity. Journal of Computer and System Sciences 44:220-258, 1992.
    • (1992) Journal of Computer and System Sciences , vol.44 , pp. 220-258
    • Lutz, J.H.1
  • 20
    • 0000923207 scopus 로고    scopus 로고
    • The quantitative structure of exponential time
    • L. A. Hemaspaandra and A. L. Selman (eds.). Springer, New York
    • J. H. Lutz. The quantitative structure of exponential time. In L. A. Hemaspaandra and A. L. Selman (eds.), Complexity Theory Retrospective II, pp. 225-260. Springer, New York, 1997.
    • (1997) Complexity Theory Retrospective II , pp. 225-260
    • Lutz, J.H.1
  • 21
    • 18344371384 scopus 로고
    • The definition of random sequences
    • P. Martin-Löf. The definition of random sequences. Information and Control 9(6):602-619, 1966.
    • (1966) Information and Control , vol.9 , Issue.6 , pp. 602-619
    • Martin-Löf, P.1
  • 24
    • 0000583779 scopus 로고
    • A unified approach to the definition of random sequences
    • C.-P. Schnorr. A unified approach to the definition of random sequences. Mathematical Systems Theory 5:246-258, 1971.
    • (1971) Mathematical Systems Theory , vol.5 , pp. 246-258
    • Schnorr, C.-P.1
  • 29
    • 0008961564 scopus 로고    scopus 로고
    • Doctoral dissertation, Universiteit van Amsterdam, Amsterdam
    • S. A. Terwijn. Computability and Measure. Doctoral dissertation, Universiteit van Amsterdam, Amsterdam, 1998.
    • (1998) Computability and Measure
    • Terwijn, S.A.1
  • 30
    • 84875554867 scopus 로고    scopus 로고
    • S. A. Terwijn. Unpublished notes, 1998
    • S. A. Terwijn. Unpublished notes, 1998.
  • 32
    • 0040914306 scopus 로고    scopus 로고
    • A separation of two randomness concepts
    • Y. Wang. A Separation of two randomness concepts. Information Processing Letters 69:115-118, 1999.
    • (1999) Information Processing Letters , vol.69 , pp. 115-118
    • Wang, Y.1


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