<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/oai-pmh.xsl"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
  <responseDate>2026-09-19T13:23:38Z</responseDate>
  <request identifier="oai:www.ideals.illinois.edu:2142/29825" metadataPrefix="etdms" verb="GetRecord">https://www.ideals.illinois.edu/oai-pmh</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:www.ideals.illinois.edu:2142/29825</identifier>
        <datestamp>2023-07-10</datestamp>
        <setSpec>col_2142_5131</setSpec>
        <setSpec>col_2142_16340</setSpec>
        <setSpec>com_2142_5130</setSpec>
        <setSpec>com_2142_16339</setSpec>
        <setSpec>com_2142_8903</setSpec>
      </header>
      <metadata>
        <thesis xmlns="http://www.ndltd.org/standards/metadata/etdms/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.ndltd.org/standards/metadata/etdms/1.1/ http://www.ndltd.org/standards/metadata/etdms/1.1/etdms11.xsd http://purl.org/dc/elements/1.1/ http://www.ndltd.org/standards/metadata/etdms/1.1/etdmsdc.xsd">
          <dc:contributor>Henson, C. Ward</dc:contributor>
          <dc:contributor>Solecki, Slawomir</dc:contributor>
          <dc:contributor>Henson, C. Ward</dc:contributor>
          <dc:contributor>van den Dries, Lou</dc:contributor>
          <dc:contributor>Sowers, Richard B.</dc:contributor>
          <dc:creator>Song, Shichang</dc:creator>
          <dc:date>2012-02-06T20:19:45Z</dc:date>
          <dc:date>2012-02-06T20:19:45Z</dc:date>
          <dc:date>2012-02-06T20:19:45Z</dc:date>
          <dc:date>2011-12</dc:date>
          <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.</dc:description>
          <dc:description>Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2011-09-07T20:16:52Z
Item was in collections:
University of Illinois Theses &amp; 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)</dc:description>
          <dc:description>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:description>
          <dc:identifier>http://hdl.handle.net/2142/29825</dc:identifier>
          <dc:language>en</dc:language>
          <dc:rights>Copyright 2011 Shichang Song</dc:rights>
          <dc:subject>Model theory</dc:subject>
          <dc:subject>continuous logic</dc:subject>
          <dc:subject>probability algebras</dc:subject>
          <dc:subject>random variables</dc:subject>
          <dc:subject>adapted spaces</dc:subject>
          <dc:title>Model theory and probability</dc:title>
          <degree>
            <department>Mathematics</department>
            <departmentCode>1257</departmentCode>
            <discipline>Mathematics</discipline>
            <disciplineCode>0439</disciplineCode>
            <grantor>University of Illinois at Urbana-Champaign</grantor>
            <level>Dissertation</level>
            <name>Ph.D.</name>
            <program>PHD:Mathematics -UIUC</program>
            <programCode>10KS0439PHD</programCode>
          </degree>
        </thesis>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
