{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:43:31Z","timestamp":1740109411952,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2017,11,20]],"date-time":"2017-11-20T00:00:00Z","timestamp":1511136000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s00224-017-9822-5","type":"journal-article","created":{"date-parts":[[2017,11,19]],"date-time":"2017-11-19T23:07:05Z","timestamp":1511132825000},"page":"1269-1287","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On Effective Birkhoff\u2019s Ergodic Theorem for Computable Actions of Amenable Groups"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7127-1006","authenticated-orcid":false,"given":"Nikita","family":"Moriakov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,20]]},"reference":[{"key":"9822_CR1","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1112\/plms\/s3-25.4.603","volume":"25","author":"H Bass","year":"1972","unstructured":"Bass, H.: The degree of polynomial growth of finitely generated nilpotent groups. Proc. London Math. Soc. (3) 25, 603\u2013614 (1972)","journal-title":"Proc. London Math. Soc. (3)"},{"key":"9822_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ic.2011.10.006","volume":"210","author":"L Bienvenu","year":"2012","unstructured":"Bienvenu, L., Day, A.R., Hoyrup, M., Mezhirov, I., Shen, A.: A constructive version of Birkhoff\u2019s ergodic theorem for Martin-L\u00f6f random points. Inf. Comput. 210, 21\u201330 (2012). \n                        https:\/\/doi.org\/10.1016\/j.ic.2011.10.006","journal-title":"Inf. Comput."},{"key":"9822_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14034-1","volume-title":"Cellular Automata and Groups. Springer Monographs in Mathematics","author":"T Ceccherini-Silberstein","year":"2010","unstructured":"Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer Monographs in Mathematics. Springer, Berlin (2010). \n                        https:\/\/doi.org\/10.1007\/978-3-642-14034-1"},{"key":"9822_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16898-2","volume-title":"Operator Theoretic Aspects of Ergodic Theory","author":"T Eisner","year":"2015","unstructured":"Eisner, T., Farkas, B., Haase, M., Nagel, R.: Operator Theoretic Aspects of Ergodic Theory. Springer, Cham (2015). \n                        https:\/\/doi.org\/10.1007\/978-3-319-16898-2"},{"issue":"1","key":"9822_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.ic.2009.05.001","volume":"208","author":"S Galatolo","year":"2010","unstructured":"Galatolo, S., Hoyrup, M., Rojas, C.: Effective symbolic dynamics, random points, statistical behavior, complexity and entropy. Inf. Comput. 208(1), 23\u201341 (2010). \n                        https:\/\/doi.org\/10.1016\/j.ic.2009.05.001","journal-title":"Inf. Comput."},{"key":"9822_CR6","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/101","volume-title":"Ergodic Theory via Joinings, Mathematical Surveys and Monographs, vol. 101","author":"E Glasner","year":"2003","unstructured":"Glasner, E.: Ergodic Theory via Joinings, Mathematical Surveys and Monographs, vol. 101. American Mathematical Society, Providence (2003). \n                        https:\/\/doi.org\/10.1090\/surv\/101"},{"key":"9822_CR7","doi-asserted-by":"crossref","unstructured":"Gromov, M.: Groups of polynomial growth and expanding maps. Inst. Hautes \u00c9tudes Sci. Publ. Math. 53, 53\u201373 (1981). \n                        https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=623534","DOI":"10.1007\/BF02698687"},{"issue":"7","key":"9822_CR8","doi-asserted-by":"publisher","first-page":"830","DOI":"10.1016\/j.ic.2008.12.009","volume":"207","author":"M Hoyrup","year":"2009","unstructured":"Hoyrup, M., Rojas, C.: Computability of probability measures and Martin-L\u00f6f randomness over metric spaces. Inf. Comput. 207(7), 830\u2013847 (2009). \n                        https:\/\/doi.org\/10.1016\/j.ic.2008.12.009","journal-title":"Inf. Comput."},{"issue":"2","key":"9822_CR9","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s002220100162","volume":"146","author":"E Lindenstrauss","year":"2001","unstructured":"Lindenstrauss, E.: Pointwise theorems for amenable groups. Invent. Math. 146 (2), 259\u2013295 (2001). \n                        https:\/\/doi.org\/10.1007\/s002220100162","journal-title":"Invent. Math."},{"key":"9822_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02790325","volume":"48","author":"DS Ornstein","year":"1987","unstructured":"Ornstein, D.S., Weiss, B.: Entropy and isomorphism theorems for actions of amenable groups. J. Analyse Math. 48, 1\u2013141 (1987). \n                        https:\/\/doi.org\/10.1007\/BF02790325","journal-title":"J. Analyse Math."},{"issue":"3","key":"9822_CR11","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1017\/S0143385700002054","volume":"3","author":"P Pansu","year":"1983","unstructured":"Pansu, P.: Croissance des boules et des g\u00e9od\u00e9siques ferm\u00e9es dans les nilvari\u00e9t\u00e9s. Ergodic Theory Dynam. Syst. 3(3), 415\u2013445 (1983). \n                        https:\/\/doi.org\/10.1017\/S0143385700002054","journal-title":"Ergodic Theory Dynam. Syst."},{"key":"9822_CR12","first-page":"341","volume":"95","author":"MO Rabin","year":"1960","unstructured":"Rabin, M.O.: Computable algebra, general theory and theory of computable fields. Trans. Amer. Math. Soc. 95, 341\u2013360 (1960)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9822_CR13","volume-title":"Computable Functions. Transl. from the Russian By V. N. Dubrovskii","author":"A Shen","year":"2003","unstructured":"Shen, A., Vereshchagin, N.: Computable Functions. Transl. from the Russian By V. N. Dubrovskii. American Mathematical Society (AMS), Providence (2003)"},{"issue":"1","key":"9822_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.4213\/tvp1710","volume":"42","author":"V V\u2019yugin","year":"1997","unstructured":"V\u2019yugin, V.: Effective convergence in probability and an ergodic theorem for individual random sequences. Teor. Veroyatn. Primen. 42(1), 35\u201350 (1997). \n                        https:\/\/doi.org\/10.4213\/tvp1710","journal-title":"Teor. Veroyatn. Primen."}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-017-9822-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9822-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9822-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T01:52:53Z","timestamp":1525139573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-017-9822-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,20]]},"references-count":14,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["9822"],"URL":"https:\/\/doi.org\/10.1007\/s00224-017-9822-5","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"type":"print","value":"1432-4350"},{"type":"electronic","value":"1433-0490"}],"subject":[],"published":{"date-parts":[[2017,11,20]]}}}