{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:12Z","timestamp":1740108192961,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T00:00:00Z","timestamp":1695772800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T00:00:00Z","timestamp":1695772800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"University of Dallas"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2024,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We expand our effective framework for weak convergence of measures on the real line by showing that effective convergence in the Prokhorov metric is equivalent to effective weak convergence. In addition, we establish a framework for the study of the effective theory of vague convergence of measures. We introduce a uniform notion and a non-uniform notion of vague convergence, and we show that both these notions are equivalent. However, limits under effective vague convergence may not be computable even when they are finite. We give an example of a finite incomputable effective vague limit measure, and we provide a necessary and sufficient condition so that effective vague convergence produces a computable limit. Finally, we determine a sufficient condition for which effective weak and vague convergence of measures coincide. As a corollary, we obtain an effective version of the equivalence between classical weak and vague convergence of sequences of probability measures.<\/jats:p>","DOI":"10.1007\/s00153-023-00886-2","type":"journal-article","created":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T12:02:26Z","timestamp":1695816146000},"page":"225-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Effective weak and vague convergence of measures on the real line"],"prefix":"10.1007","volume":"63","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9878-6264","authenticated-orcid":false,"given":"Diego A.","family":"Rojas","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,27]]},"reference":[{"issue":"52","key":"886_CR1","first-page":"563","volume":"9","author":"A Alexandroff","year":"1941","unstructured":"Alexandroff, A.: Additive set-functions in abstract spaces. Matematicheskii Sbornik 9(52), 563\u2013628 (1941)","journal-title":"Matematicheskii Sbornik"},{"issue":"1","key":"886_CR2","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0304-4149(89)90058-6","volume":"32","author":"EJ Balder","year":"1989","unstructured":"Balder, E.J.: On compactness of the space of policies in stochastic dynamic programming. Stochastic Process. Appl. 32(1), 141\u2013150 (1989)","journal-title":"Stochastic Process. Appl."},{"issue":"3","key":"886_CR3","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1214\/aop\/1065725192","volume":"24","author":"AG Bhatt","year":"1996","unstructured":"Bhatt, A.G., Borkar, V.S.: Occupation measures for controlled Markov processes: characterization and optimality. Ann. Probab. 24(3), 1531\u20131562 (1996)","journal-title":"Ann. Probab."},{"key":"886_CR4","series-title":"Handbook of computability and complexity in analysis","volume-title":"Theory and Applications of Computability","year":"2021","unstructured":"Brattka, V., Hertling, P. (eds.): Theory and Applications of Computability. Handbook of computability and complexity in analysis, Springer, Cham (2021)"},{"key":"886_CR5","volume-title":"A Course in Probability Theory","author":"KL Chung","year":"2001","unstructured":"Chung, K.L.: A Course in Probability Theory, 3rd edn. Academic Press Inc, San Diego, CA (2001)","edition":"3"},{"key":"886_CR6","volume-title":"Computability Theory","author":"SB Cooper","year":"2004","unstructured":"Cooper, S.B.: Computability Theory. Chapman & Hall\/CRC, Boca Raton (2004)"},{"issue":"1","key":"886_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.tcs.2005.03.054","volume":"341","author":"P G\u00e1cs","year":"2005","unstructured":"G\u00e1cs, P.: Uniform test of algorithmic randomness over a general space. Theoret. Comput. Sci. 341(1), 91\u2013137 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"886_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, 830\u2013847 (2009)","journal-title":"Inf. Comput."},{"key":"886_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104997","volume":"290","author":"T McNicholl","year":"2023","unstructured":"McNicholl, T., Rojas, D.: Effective notions of weak convergence of measures on the real line. Inf. Comput. 290, 104997 (2023)","journal-title":"Inf. Comput."},{"key":"886_CR10","unstructured":"Mori, T., Tsujii, Y., Yasugi, M.: Computability of Probability Distributions and Distribution Functions. In: 6th International Conference on Computability and Complexity in Analysis (CCA\u201909), volume\u00a011 (2009)"},{"key":"886_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1137\/1101016","volume":"1","author":"Y Prokhorov","year":"1956","unstructured":"Prokhorov, Y.: Convergence of random processes and limit theorems in probability theory. Theory Prob. Appl. 1, 157\u2013214 (1956)","journal-title":"Theory Prob. Appl."},{"key":"886_CR12","unstructured":"Rute, J.: On the close interaction between algorithmic randomness and constructive\/computable measure theory (2018) arXiv:1812.03375"},{"issue":"3","key":"886_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.2307\/2267043","volume":"14","author":"E Specker","year":"1949","unstructured":"Specker, E.: Nicht konstruktiv beweisbare S\u00e4tze der analysis. J. Symb. Logic 14(3), 145\u2013158 (1949)","journal-title":"J. Symb. Logic"},{"key":"886_CR14","series-title":"Computable analysis","volume-title":"Texts in Theoretical Computer Science. An EATCS Series","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Texts in Theoretical Computer Science. An EATCS Series. Computable analysis, Springer-Verlag, Berlin (2000)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-023-00886-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-023-00886-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-023-00886-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T12:04:04Z","timestamp":1705061044000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-023-00886-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,27]]},"references-count":14,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["886"],"URL":"https:\/\/doi.org\/10.1007\/s00153-023-00886-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2023,9,27]]},"assertion":[{"value":"4 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 June 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 September 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}