{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:25:38Z","timestamp":1725535538721},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030727"},{"type":"electronic","value":"9783642030734"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03073-4_23","type":"book-chapter","created":{"date-parts":[[2009,7,14]],"date-time":"2009-07-14T08:06:17Z","timestamp":1247558777000},"page":"218-231","source":"Crossref","is-referenced-by-count":2,"title":["Computable Exchangeable Sequences Have Computable de Finetti Measures"],"prefix":"10.1007","author":[{"given":"Cameron E.","family":"Freer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel M.","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1112\/S0024610700008681","volume":"61","author":"M. Alvarez-Manilla","year":"2000","unstructured":"Alvarez-Manilla, M., Edalat, A., Saheb-Djahromi, N.: An extension result for continuous valuations. J. London Math. Soc.\u00a061(2), 629\u2013640 (2000)","journal-title":"J. London Math. Soc."},{"issue":"4","key":"23_CR2","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1016\/0047-259X(81)90099-3","volume":"11","author":"D.J. Aldous","year":"1981","unstructured":"Aldous, D.J.: Representations for partially exchangeable arrays of random variables. J. Multivariate Analysis\u00a011(4), 581\u2013598 (1981)","journal-title":"J. Multivariate Analysis"},{"key":"23_CR3","series-title":"Lecture Notes in Math.","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0099421","volume-title":"\u00c9cole d\u2019\u00e9t\u00e9 de probabilit\u00e9s de Saint-Flour, XIII\u20141983","author":"D.J. Aldous","year":"1985","unstructured":"Aldous, D.J.: Exchangeability and related topics. In: \u00c9cole d\u2019\u00e9t\u00e9 de probabilit\u00e9s de Saint-Flour, XIII\u20141983. Lecture Notes in Math., vol.\u00a01117, pp. 1\u2013198. Springer, Berlin (1985)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1214\/08-PS124","volume":"5","author":"T. Austin","year":"2008","unstructured":"Austin, T.: On exchangeable random variables and the statistics of large graphs and hypergraphs. Probab. Surv.\u00a05, 80\u2013145 (2008)","journal-title":"Probab. Surv."},{"key":"23_CR5","unstructured":"Bauer, A.: Realizability as the connection between constructive and computable mathematics. In: CCA 2005: Second Int. Conf. on Comput. and Complex in Analysis (2005)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-73001-9_9","volume-title":"Computation and Logic in the Real World","author":"V. Brattka","year":"2007","unstructured":"Brattka, V., Gherardi, G.: Borel complexity of topological operations on computable metric spaces. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol.\u00a04497, pp. 83\u201397. Springer, Heidelberg (2007)"},{"key":"23_CR7","volume-title":"Probability and measure","author":"P. Billingsley","year":"1995","unstructured":"Billingsley, P.: Probability and measure, 3rd edn. John Wiley & Sons Inc., New York (1995)","edition":"3"},{"issue":"6","key":"23_CR8","first-page":"956","volume":"14","author":"V. Bosserhoff","year":"2008","unstructured":"Bosserhoff, V.: Notions of probabilistic computability on represented spaces. J. of Universal Comput. Sci.\u00a014(6), 956\u2013995 (2008)","journal-title":"J. of Universal Comput. Sci."},{"key":"23_CR9","unstructured":"de Finetti, B.: Funzione caratteristica di un fenomeno aleatorio. Atti della R. Accademia Nazionale dei Lincei, Ser. 6. Memorie, Classe di Scienze Fisiche, Matematiche e Naturali 4, 251\u2013299 (1931)"},{"key":"23_CR10","volume-title":"Theory of probability","author":"B. Finetti de","year":"1975","unstructured":"de Finetti, B.: Theory of probability, vol.\u00a02. John Wiley & Sons Ltd., London (1975)"},{"key":"23_CR11","first-page":"205","volume-title":"Statistics: applications and new directions (Calcutta, 1981)","author":"P. Diaconis","year":"1984","unstructured":"Diaconis, P., Freedman, D.: Partial exchangeability and sufficiency. In: Statistics: applications and new directions (Calcutta, 1981), pp. 205\u2013236. Indian Statist. Inst., Calcutta (1984)"},{"issue":"1","key":"23_CR12","first-page":"33","volume":"28","author":"P. Diaconis","year":"2008","unstructured":"Diaconis, P., Janson, S.: Graph limits and exchangeable random graphs. Rendiconti di Matematica, Ser. VII\u00a028(1), 33\u201361 (2008)","journal-title":"Rendiconti di Matematica, Ser. VII"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(95)00050-7","volume":"151","author":"A. Edalat","year":"1995","unstructured":"Edalat, A.: Domain theory and integration. Theoret. Comput. Sci.\u00a0151(1), 163\u2013193 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1109\/LICS.1996.561450","volume-title":"11th Ann. IEEE Symp. on Logic in Comput. Sci.","author":"A. Edalat","year":"1996","unstructured":"Edalat, A.: The Scott topology induces the weak topology. In: 11th Ann. IEEE Symp. on Logic in Comput. Sci., pp. 372\u2013381. IEEE Comput. Soc. Press, Los Alamitos (1996)"},{"key":"23_CR15","first-page":"475","volume-title":"Adv. in Neural Inform. Processing Syst.","author":"T.L. Griffiths","year":"2005","unstructured":"Griffiths, T.L., Ghahramani, Z.: Infinite latent feature models and the Indian buffet process. In: Adv. in Neural Inform. Processing Syst., vol.\u00a017, pp. 475\u2013482. MIT Press, Cambridge (2005)"},{"key":"23_CR16","unstructured":"Goodman, N.D., Mansinghka, V.K., Roy, D.M., Bonawitz, K., Tenenbaum, J.B.: Church: a language for generative models. In: Uncertainty in Artificial Intelligence (2008)"},{"issue":"4-5","key":"23_CR17","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1002\/malq.200710009","volume":"53","author":"T. Grubba","year":"2007","unstructured":"Grubba, T., Schr\u00f6der, M., Weihrauch, K.: Computable metrization. Math. Logic Q.\u00a053(4-5), 381\u2013395 (2007)","journal-title":"Math. Logic Q."},{"key":"23_CR18","volume-title":"Relations on probability spaces and arrays of random variables","author":"D.N. Hoover","year":"1979","unstructured":"Hoover, D.N.: Relations on probability spaces and arrays of random variables, Institute for Advanced Study. Princeton, NJ (preprint) (1979)"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1090\/S0002-9947-1955-0076206-8","volume":"80","author":"E. Hewitt","year":"1955","unstructured":"Hewitt, E., Savage, L.J.: Symmetric measures on Cartesian products. Trans. Amer. Math. Soc.\u00a080, 470\u2013501 (1955)","journal-title":"Trans. Amer. Math. Soc."},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/LICS.1989.39173","volume-title":"Proc. of the Fourth Ann. Symp. on Logic in Comp. Sci.","author":"C. Jones","year":"1989","unstructured":"Jones, C., Plotkin, G.: A probabilistic powerdomain of evaluations. In: Proc. of the Fourth Ann. Symp. on Logic in Comp. Sci., pp. 186\u2013195. IEEE Press, Los Alamitos (1989)"},{"key":"23_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4015-8","volume-title":"Foundations of modern probability","author":"O. Kallenberg","year":"2002","unstructured":"Kallenberg, O.: Foundations of modern probability, 2nd edn. Springer, New York (2002)","edition":"2"},{"key":"23_CR22","volume-title":"Probabilistic symmetries and invariance principles","author":"O. Kallenberg","year":"2005","unstructured":"Kallenberg, O.: Probabilistic symmetries and invariance principles. Springer, New York (2005)"},{"issue":"2","key":"23_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1214\/aop\/1176995566","volume":"6","author":"J.F.C. Kingman","year":"1978","unstructured":"Kingman, J.F.C.: Uses of exchangeability. Ann. Probability\u00a06(2), 183\u2013197 (1978)","journal-title":"Ann. Probability"},{"issue":"3","key":"23_CR24","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","volume":"22","author":"D. Kozen","year":"1981","unstructured":"Kozen, D.: Semantics of probabilistic programs. J. Comp. System Sci.\u00a022(3), 328\u2013350 (1981)","journal-title":"J. Comp. System Sci."},{"key":"23_CR25","unstructured":"Kemp, C., Tenenbaum, J., Griffiths, T., Yamada, T., Ueda, N.: Learning systems of concepts with an infinite relational model. In: Proc. of the 21st Nat. Conf. on Artificial Intelligence (2006)"},{"issue":"2","key":"23_CR26","first-page":"65","volume":"11","author":"S.L. Lauritzen","year":"1984","unstructured":"Lauritzen, S.L.: Extreme point models in statistics. Scand. J. Statist.\u00a011(2), 65\u201391 (1984)","journal-title":"Scand. J. Statist."},{"key":"23_CR27","unstructured":"Mansinghka, V.K.: Natively Probabilistic Computing. PhD thesis, Massachusetts Institute of Technology (2009)"},{"issue":"1-2","key":"23_CR28","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0304-3975(98)00292-8","volume":"219","author":"N.T. M\u00fcller","year":"1999","unstructured":"M\u00fcller, N.T.: Computability on random variables. Theor. Comput. Sci.\u00a0219(1-2), 287\u2013299 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR29","first-page":"733","volume-title":"Proc. of the 17th Int. Joint Conf. on Artificial Intelligence","author":"A. Pfeffer","year":"2001","unstructured":"Pfeffer, A.: IBAL: A probabilistic rational programming language. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence, pp. 733\u2013740. Morgan Kaufmann Publ., San Francisco (2001)"},{"issue":"1","key":"23_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1452044.1452048","volume":"31","author":"S. Park","year":"2008","unstructured":"Park, S., Pfenning, F., Thrun, S.: A probabilistic language based on sampling functions. ACM Trans. Program. Lang. Syst.\u00a031(1), 1\u201346 (2008)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"23_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in analysis and physics","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in analysis and physics. Springer, Berlin (1989)"},{"key":"23_CR32","unstructured":"Roy, D.M., Mansinghka, V.K., Goodman, N.D., Tenenbaum, J.B.: A stochastic programming perspective on nonparametric Bayes. In: Nonparametric Bayesian Workshop, Int. Conf. on Machine Learning (2008)"},{"key":"23_CR33","doi-asserted-by":"crossref","first-page":"149","DOI":"10.4064\/cm-4-2-149-156","volume":"4","author":"C. Ryll-Nardzewski","year":"1957","unstructured":"Ryll-Nardzewski, C.: On stationary sequences of random variables and the de Finetti\u2019s equivalence. Colloq. Math.\u00a04, 149\u2013156 (1957)","journal-title":"Colloq. Math."},{"key":"23_CR34","volume-title":"Theory of recursive functions and effective computability","author":"H. Rogers Jr.","year":"1967","unstructured":"Rogers, Jr., H.: Theory of recursive functions and effective computability. McGraw-Hill, New York (1967)"},{"key":"23_CR35","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: Proc. of the 29th ACM SIGPLAN-SIGACT Symp. on Principles of Program. Lang., pp. 154\u2013165 (2002)","DOI":"10.1145\/503272.503288"},{"key":"23_CR36","unstructured":"Roy, D.M., Teh, Y.W.: The Mondrian process. In: Adv. in Neural Inform. Processing Syst., vol.\u00a021 (2009)"},{"issue":"4-5","key":"23_CR37","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1002\/malq.200710010","volume":"53","author":"M. Schr\u00f6der","year":"2007","unstructured":"Schr\u00f6der, M.: Admissible representations for probability measures. Math. Logic Q.\u00a053(4-5), 431\u2013445 (2007)","journal-title":"Math. Logic Q."},{"key":"23_CR38","first-page":"639","volume":"4","author":"J. Sethuraman","year":"1994","unstructured":"Sethuraman, J.: A constructive definition of Dirichlet priors. Statistica Sinica\u00a04, 639\u2013650 (1994)","journal-title":"Statistica Sinica"},{"key":"23_CR39","doi-asserted-by":"publisher","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. Springer, Berlin (1987)"},{"issue":"6","key":"23_CR40","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1016\/j.jco.2006.05.003","volume":"22","author":"M. Schr\u00f6der","year":"2006","unstructured":"Schr\u00f6der, M., Simpson, A.: Representing probability measures using probabilistic processes. J. Complex.\u00a022(6), 768\u2013782 (2006)","journal-title":"J. Complex."},{"key":"23_CR41","unstructured":"Teh, Y.W., G\u00f6r\u00fcr, D., Ghahramani, Z.: Stick-breaking construction for the Indian buffet process. In: Proc. of the 11th Conf. on A.I. and Stat. (2007)"},{"key":"23_CR42","unstructured":"Thibaux, R., Jordan, M.I.: Hierarchical beta processes and the Indian buffet process. In: Proc. of the 11th Conf. on A.I. and Stat. (2007)"},{"issue":"1\u20132","key":"23_CR43","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/S0304-3975(98)00298-9","volume":"219","author":"K. Weihrauch","year":"1999","unstructured":"Weihrauch, K.: Computability on the probability measures on the Borel sets of the unit interval. Theoret. Comput. Sci.\u00a0219(1\u20132), 421\u2013437 (1999)","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable analysis: an introduction","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable analysis: an introduction. Springer, Berlin (2000)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Theory and Computational Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03073-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T04:43:01Z","timestamp":1552106581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03073-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030727","9783642030734"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03073-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}