{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:09:48Z","timestamp":1762297788067},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,9,13]],"date-time":"2011-09-13T00:00:00Z","timestamp":1315872000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s00224-011-9362-3","type":"journal-article","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T04:22:39Z","timestamp":1315801359000},"page":"330-351","source":"Crossref","is-referenced-by-count":7,"title":["How Powerful Are Integer-Valued Martingales?"],"prefix":"10.1007","volume":"51","author":[{"given":"Laurent","family":"Bienvenu","sequence":"first","affiliation":[]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[]},{"given":"Jason","family":"Teutsch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,13]]},"reference":[{"key":"9362_CR1","doi-asserted-by":"crossref","first-page":"357","DOI":"10.2748\/tmj\/1178243286","volume":"19","author":"K. Azuma","year":"1967","unstructured":"Azuma, K.: Weighted sums of certain dependent random variables. Tohoku Math. J. 19, 357\u2013367 (1967)","journal-title":"Tohoku Math. J."},{"key":"9362_CR2","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1016\/j.apal.2009.01.002","volume":"160","author":"L. Bienvenu","year":"2009","unstructured":"Bienvenu, L., Merkle, W.: Constructive equivalence relations for computable probability measures. Ann. Pure Appl. Log. 160, 238\u2013254 (2009)","journal-title":"Ann. Pure Appl. Log."},{"key":"9362_CR3","series-title":"Wiley Series in Probability and Mathematical Statistics","volume-title":"Probability Measure","author":"P. Billingsley","year":"1995","unstructured":"Billingsley, P.: Probability Measure, 3rd edn. Wiley Series in Probability and Mathematical Statistics. Wiley, New York (1995)","edition":"3"},{"key":"9362_CR4","unstructured":"Chalcraft, A., Dougherty, R., Freiling, C., Teutsch, J.: How to build a warped online casino. Manuscript"},{"key":"9362_CR5","volume-title":"Stochastic Processes","author":"J.L. Doob","year":"1953","unstructured":"Doob, J.L.: Stochastic Processes. Wiley, New York (1953)"},{"key":"9362_CR6","series-title":"Theory and Applications of Computability","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68441-3","volume-title":"Algorithmic Randomness and Complexity","author":"R.G. Downey","year":"2010","unstructured":"Downey, R.G., Hirschfeldt, D.R.: Algorithmic Randomness and Complexity. Theory and Applications of Computability. Springer, New York (2010)"},{"issue":"2\u20133","key":"9362_CR7","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/j.tcs.2004.03.055","volume":"321","author":"R.G. Downey","year":"2004","unstructured":"Downey, R.G., Griffiths, E.J., Reid, S.: On Kurtz randomness. Theor. Comput. Sci. 321(2\u20133), 249\u2013270 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"9362_CR8","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s00224-005-1135-4","volume":"39","author":"J.M. Hitchcock","year":"2006","unstructured":"Hitchcock, J.M., Lutz, J.H.: Why computational complexity requires stricter martingales. Theory Comput. Syst. 39, 277\u2013296 (2006)","journal-title":"Theory Comput. Syst."},{"key":"9362_CR9","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","volume":"58","author":"W. Hoeffding","year":"1963","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58, 13\u201330 (1963)","journal-title":"J. Am. Stat. Assoc."},{"key":"9362_CR10","doi-asserted-by":"crossref","first-page":"214","DOI":"10.2307\/1969123","volume":"49","author":"S. Kakutani","year":"1948","unstructured":"Kakutani, S.: On equivalence of infinite product measures. Ann. Math. 49, 214\u2013224 (1948)","journal-title":"Ann. Math."},{"key":"9362_CR11","unstructured":"Kurtz, S.: Randomness and genericity in the degrees of unsolvability. PhD thesis, University of Illinois at Urbana (1981)"},{"key":"9362_CR12","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1016\/S0019-9958(66)80018-9","volume":"9","author":"P. Martin-L\u00f6f","year":"1966","unstructured":"Martin-L\u00f6f, P.: The definition of random sequences. Inf. Control 9, 602\u2013619 (1966)","journal-title":"Inf. Control"},{"issue":"1\u20133","key":"9362_CR13","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.apal.2005.06.011","volume":"138","author":"W. Merkle","year":"2006","unstructured":"Merkle, W., Miller, J.S., Nies, A., Reimann, J., Stephan, F.: Kolmogorov-Loveland randomness and stochasticity. Ann. Pure Appl. Log. 138(1\u20133), 183\u2013210 (2006)","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"9362_CR14","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/S0304-3975(98)00069-3","volume":"207","author":"A.A. Muchnik","year":"1998","unstructured":"Muchnik, A.A., Semenov, A., Uspensky, V.: Mathematical metaphysics of randomness. Theor. Comput. Sci. 207(2), 263\u2013317 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"9362_CR15","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230761.001.0001","volume-title":"Computability Randomness","author":"A. Nies","year":"2009","unstructured":"Nies, A.: Computability Randomness. Oxford Logic Guides, vol.\u00a051. Oxford University Press, Oxford (2009)"},{"key":"9362_CR16","series-title":"Wiley Series in Probability and Statistics: Probability and Statistics","volume-title":"Stochastic Processes","author":"S.M. Ross","year":"1996","unstructured":"Ross, S.M.: Stochastic Processes, 2nd edn., Wiley Series in Probability and Statistics: Probability and Statistics. Wiley, New York (1996)","edition":"2"},{"key":"9362_CR17","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/BF01694181","volume":"5","author":"C.-P. Schnorr","year":"1971","unstructured":"Schnorr, C.-P.: A unified approach to the definition of random sequences. Math. Syst. Theory 5, 246\u2013258 (1971)","journal-title":"Math. Syst. Theory"},{"key":"9362_CR18","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0112458","volume-title":"Zuf\u00e4lligkeit und Wahrscheinlichkeit. Eine algorithmische Begr\u00fcndung der Wahrscheinlichkeitstheorie","author":"C.-P. Schnorr","year":"1971","unstructured":"Schnorr, C.-P.: Zuf\u00e4lligkeit und Wahrscheinlichkeit. Eine algorithmische Begr\u00fcndung der Wahrscheinlichkeitstheorie. Lecture Notes in Mathematics, vol. 218. Springer, Berlin (1971)"},{"key":"9362_CR19","first-page":"316","volume":"38","author":"A. Shen","year":"1989","unstructured":"Shen, A.: On relations between different algorithmic definitions of randomness. Sov. Math. Dokl. 38, 316\u2013319 (1989)","journal-title":"Sov. Math. Dokl."},{"key":"9362_CR20","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"R.I. Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic. Springer, Berlin (1987), A study of computable functions and computably generated sets"},{"issue":"6","key":"9362_CR21","first-page":"1298","volume":"294","author":"V. Vovk","year":"1987","unstructured":"Vovk, V.: On a criterion for randomness. Sov. Math. Dokl. 294(6), 1298\u20131302 (1987)","journal-title":"Sov. Math. Dokl."},{"key":"9362_CR22","unstructured":"Wang, Y.: Randomness complexity. PhD thesis, Mathematisch-Naturwissenschaftlichen Gesamtfakult\u00e4t, Universit\u00e4t Heidelberg (1996)"},{"issue":"3","key":"9362_CR23","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0020-0190(98)00202-6","volume":"69","author":"Y. Wang","year":"1999","unstructured":"Wang, Y.: A separation of two randomness concepts. Inf. Process. Lett. 69(3), 115\u2013118 (1999)","journal-title":"Inf. Process. Lett."}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-011-9362-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-011-9362-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-011-9362-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T11:54:23Z","timestamp":1558698863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-011-9362-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,13]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["9362"],"URL":"https:\/\/doi.org\/10.1007\/s00224-011-9362-3","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,13]]}}}