{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T04:30:44Z","timestamp":1772512244641,"version":"3.50.1"},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":8593,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1990,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a faithful axiomatization of von Mises' notion of a random sequence, using an abstract independence relation. A byproduct is a quantifier elimination theorem for Friedman's \u201calmost all\u201d quantifier in terms of this independence relation.<\/jats:p>","DOI":"10.2307\/2274480","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:36:50Z","timestamp":1146955010000},"page":"1143-1167","source":"Crossref","is-referenced-by-count":66,"title":["The axiomatization of randomness"],"prefix":"10.1017","volume":"55","author":[{"given":"Michiel","family":"van Lambalgen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200025627_ref025","volume-title":"Matroid theory","author":"Welsh"},{"key":"S0022481200025627_ref023","volume-title":"Constructivism in mathematics","volume":"II","author":"Troelstra","year":"1988"},{"key":"S0022481200025627_ref020","first-page":"579","volume-title":"Model-theoretic logics","author":"Steinhorn","year":"1985"},{"key":"S0022481200025627_ref019","doi-asserted-by":"publisher","DOI":"10.2307\/1970696"},{"key":"S0022481200025627_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9339-9"},{"key":"S0022481200025627_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(66)80018-9"},{"key":"S0022481200025627_ref012","unstructured":"van Lambalgen M. and Moerdijk I. [199?], Models for randomness (in preparation)."},{"key":"S0022481200025627_ref011","unstructured":"van Lambalgen M. [1987b], Random sequences, Ph.D. thesis, Department of Mathematics, University of Amsterdam, Amsterdam."},{"key":"S0022481200025627_ref008","doi-asserted-by":"publisher","DOI":"10.1137\/1132060"},{"key":"S0022481200025627_ref006","first-page":"190","volume":"51","author":"Freiling","year":"1986","journal-title":"Axioms of symmetry: throwing darts at the real number line"},{"key":"S0022481200025627_ref004","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1940-07154-X"},{"key":"S0022481200025627_ref022","volume-title":"Choice sequences","author":"Troelstra","year":"1977"},{"key":"S0022481200025627_ref007","first-page":"495","volume":"47","author":"Gaifman","year":"1982","journal-title":"Probabilities over rich languages, randomness and testing"},{"key":"S0022481200025627_ref016","first-page":"5","article-title":"Grundlagen der Wahrscheinlichkeitsrechnung","volume":"5","author":"von Mises","year":"1919","journal-title":"Mathematische Zeitschrift"},{"key":"S0022481200025627_ref021","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70159-4"},{"key":"S0022481200025627_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(73)90015-6"},{"key":"S0022481200025627_ref002","volume-title":"Boolean valued models and independence proofs in set theory","author":"Bell","year":"1977"},{"key":"S0022481200025627_ref001","volume-title":"Stability theory","author":"Baldwin","year":"1988"},{"key":"S0022481200025627_ref024","volume-title":"Modern algebra","volume":"II","author":"van der Waerden"},{"key":"S0022481200025627_ref010","first-page":"725","volume":"52","author":"van Lambalgen","year":"1987","journal-title":"Von Mises definition of random sequences reconsidered"},{"key":"S0022481200025627_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF00534110"},{"key":"S0022481200025627_ref003","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608858"},{"key":"S0022481200025627_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(80)90237-9"},{"key":"S0022481200025627_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/BF00542649"},{"key":"S0022481200025627_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058346"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200025627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T20:24:46Z","timestamp":1558211086000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200025627\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["S0022481200025627"],"URL":"https:\/\/doi.org\/10.2307\/2274480","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}