{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/29825"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/29825","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Model theory and probability","abstract":"This thesis presents a systematic study of the model theory of probability algebras, random variable structures, and adapted structures, with an emphasis on their atomless counterparts. In this thesis, the author uses a continuous version of first order logic that has been developed recently and that is better suited for applications to metric structures than classical first order logic. The set of truth values in continuous logic is the interval [0,1] instead of the truth values {True, False} in classical logic. The author studies axioms, type spaces, quantifier elimination, separable categoricity, saturated models, stability, and d-finiteness for the theories of atomless probability algebras and atomless random variable structures. Explicit formulas for the d*-metric between types in the theory of atomless random variable structures are given. For the theory of atomless adapted structures, the author studies axioms, type spaces, quantifier elimination, separably categoricity, and d-finiteness.","abstract_html":"This thesis presents a systematic study of the model theory of probability algebras, random variable structures, and adapted structures, with an emphasis on their atomless counterparts. In this thesis, the author uses a continuous version of first order logic that has been developed recently and that is better suited for applications to metric structures than classical first order logic. The set of truth values in continuous logic is the interval [0,1] instead of the truth values {True, False} in classical logic. The author studies axioms, type spaces, quantifier elimination, separable categoricity, saturated models, stability, and d-finiteness for the theories of atomless probability algebras and atomless random variable structures. Explicit formulas for the d*-metric between types in the theory of atomless random variable structures are given. For the theory of atomless adapted structures, the author studies axioms, type spaces, quantifier elimination, separably categoricity, and d-finiteness.","abstract_has_math":false,"creators":["Song, Shichang"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Mathematics","degree_department":null,"school":null,"contributors":["Henson, C. Ward","Solecki, Slawomir","van den Dries, Lou","Sowers, Richard B."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2012,"date_issued":"2012-02-06T20:19:45Z","date_published":"2012-02-06T20:19:45Z","updated_at":"2026-07-22T22:25:29Z","subjects":["Model theory","continuous logic","probability algebras","random variables","adapted spaces"],"languages":["en"],"rights":["Copyright 2011 Shichang Song"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/29825","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Henson, C. Ward","Solecki, Slawomir","van den Dries, Lou","Sowers, Richard B."]},{"key":"dc:creator","label":"Author","values":["Song, Shichang"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2012-02-06T20:19:45Z","2011-12"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Mathematics"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Model theory","continuous logic","probability algebras","random variables","adapted spaces"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2011 Shichang Song"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/29825"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This thesis presents a systematic study of the model theory of probability algebras, random variable structures, and adapted structures, with an emphasis on their atomless counterparts. In this thesis, the author uses a continuous version of first order logic that has been developed recently and that is better suited for applications to metric structures than classical first order logic. The set of truth values in continuous logic is the interval [0,1] instead of the truth values {True, False} in classical logic. The author studies axioms, type spaces, quantifier elimination, separable categoricity, saturated models, stability, and d-finiteness for the theories of atomless probability algebras and atomless random variable structures. Explicit formulas for the d*-metric between types in the theory of atomless random variable structures are given. For the theory of atomless adapted structures, the author studies axioms, type spaces, quantifier elimination, separably categoricity, and d-finiteness.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2011-09-07T20:16:52Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 3 Song_Shichang.pdf: 1283398 bytes, checksum: d43bee9461cf60ccd7104ff35e095af1 (MD5) Song_Shichang.tex: 494028 bytes, checksum: 6d62e4cece5df211a72ac0077e14af79 (MD5) Song_Shichang.pdf: 1282495 bytes, checksum: 4898c7b6c31e3d5065ddeb9a9c277348 (MD5)","Made available in DSpace on 2012-02-06T20:19:45Z (GMT). No. of bitstreams: 3 Song_Shichang.pdf: 1283830 bytes, checksum: a092d9be5cc942b08350d79ce722708b (MD5) license.txt: 4061 bytes, checksum: 5f927f740dccd1c161929c940defa9f7 (MD5) Song_Shichang.tex: 496105 bytes, checksum: a933a6c01812ada763643dfb7b563c52 (MD5)"]},{"key":"dc:title","label":"Title","values":["Model theory and probability"]}]}],"canonical_facts":{"dc:contributor":["Henson, C. Ward","Solecki, Slawomir","van den Dries, Lou","Sowers, Richard B."],"dc:creator":["Song, Shichang"],"dc:date":["2012-02-06T20:19:45Z","2011-12"],"dc:description":["This thesis presents a systematic study of the model theory of probability algebras, random variable structures, and adapted structures, with an emphasis on their atomless counterparts. In this thesis, the author uses a continuous version of first order logic that has been developed recently and that is better suited for applications to metric structures than classical first order logic. The set of truth values in continuous logic is the interval [0,1] instead of the truth values {True, False} in classical logic. The author studies axioms, type spaces, quantifier elimination, separable categoricity, saturated models, stability, and d-finiteness for the theories of atomless probability algebras and atomless random variable structures. Explicit formulas for the d*-metric between types in the theory of atomless random variable structures are given. For the theory of atomless adapted structures, the author studies axioms, type spaces, quantifier elimination, separably categoricity, and d-finiteness.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2011-09-07T20:16:52Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 3 Song_Shichang.pdf: 1283398 bytes, checksum: d43bee9461cf60ccd7104ff35e095af1 (MD5) Song_Shichang.tex: 494028 bytes, checksum: 6d62e4cece5df211a72ac0077e14af79 (MD5) Song_Shichang.pdf: 1282495 bytes, checksum: 4898c7b6c31e3d5065ddeb9a9c277348 (MD5)","Made available in DSpace on 2012-02-06T20:19:45Z (GMT). No. of bitstreams: 3 Song_Shichang.pdf: 1283830 bytes, checksum: a092d9be5cc942b08350d79ce722708b (MD5) license.txt: 4061 bytes, checksum: 5f927f740dccd1c161929c940defa9f7 (MD5) Song_Shichang.tex: 496105 bytes, checksum: a933a6c01812ada763643dfb7b563c52 (MD5)"],"dc:identifier":["http://hdl.handle.net/2142/29825"],"dc:language":["en"],"dc:rights":["Copyright 2011 Shichang Song"],"dc:subject":["Model theory","continuous logic","probability algebras","random variables","adapted spaces"],"dc:title":["Model theory and probability"],"thesis:degree_discipline":["Mathematics"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:29Z"}