<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>     caa a22        4500</leader>
  <controlfield tag="001">469126604</controlfield>
  <controlfield tag="003">CHVBK</controlfield>
  <controlfield tag="005">20180323133152.0</controlfield>
  <controlfield tag="007">cr unu---uuuuu</controlfield>
  <controlfield tag="008">170328e19921101xx      s     000 0 eng  </controlfield>
  <datafield tag="024" ind1="7" ind2="0">
   <subfield code="a">10.1007/BF01277481</subfield>
   <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(NATIONALLICENCE)springer-10.1007/BF01277481</subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="0">
   <subfield code="a">Tiny models of categorical theories</subfield>
   <subfield code="h">[Elektronische Daten]</subfield>
   <subfield code="c">[M. Laskowski, A. Pillay, P. Rothmaler]</subfield>
  </datafield>
  <datafield tag="520" ind1="3" ind2=" ">
   <subfield code="a">Summary: We explore the existence and the size of infinite models of categorical theories having cardinality less than the size of the associated Tarski-Lindenbaum algebra. Restricting to totally transcendental, categorical theories we show that &quot;Every tiny model is countable” is independent of ZFC. IfT is trivial there is at most one tiny model, which must be the algebraic closure of the empty set. We give a new proof that there are no tiny models ifT is not totally transcendental and is non-trivial.</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
   <subfield code="a">Springer-Verlag, 1992</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Laskowski</subfield>
   <subfield code="D">M.</subfield>
   <subfield code="u">MSRI and University of Maryland, 20742, College Park, MD, USA</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Pillay</subfield>
   <subfield code="D">A.</subfield>
   <subfield code="u">Department of Mathematics, University of Notre Dame, P.O. Box 398, 46556, Notre Dame, IN, USA</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Rothmaler</subfield>
   <subfield code="D">P.</subfield>
   <subfield code="u">Philosophisches Seminar, Abteilung Logik, Christian-Albrechts-Universität zu Kiel, Olshausenstrasse 40-60, W-2300, Kiel, Federal Republic of Germany</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="773" ind1="0" ind2=" ">
   <subfield code="t">Archive for Mathematical Logic</subfield>
   <subfield code="d">Springer-Verlag</subfield>
   <subfield code="g">31/6(1992-11-01), 385-396</subfield>
   <subfield code="x">0933-5846</subfield>
   <subfield code="q">31:6&lt;385</subfield>
   <subfield code="1">1992</subfield>
   <subfield code="2">31</subfield>
   <subfield code="o">153</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="0">
   <subfield code="u">https://doi.org/10.1007/BF01277481</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="908" ind1=" " ind2=" ">
   <subfield code="D">1</subfield>
   <subfield code="a">research-article</subfield>
   <subfield code="2">jats</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">856</subfield>
   <subfield code="E">40</subfield>
   <subfield code="u">https://doi.org/10.1007/BF01277481</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Laskowski</subfield>
   <subfield code="D">M.</subfield>
   <subfield code="u">MSRI and University of Maryland, 20742, College Park, MD, USA</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Pillay</subfield>
   <subfield code="D">A.</subfield>
   <subfield code="u">Department of Mathematics, University of Notre Dame, P.O. Box 398, 46556, Notre Dame, IN, USA</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Rothmaler</subfield>
   <subfield code="D">P.</subfield>
   <subfield code="u">Philosophisches Seminar, Abteilung Logik, Christian-Albrechts-Universität zu Kiel, Olshausenstrasse 40-60, W-2300, Kiel, Federal Republic of Germany</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">773</subfield>
   <subfield code="E">0-</subfield>
   <subfield code="t">Archive for Mathematical Logic</subfield>
   <subfield code="d">Springer-Verlag</subfield>
   <subfield code="g">31/6(1992-11-01), 385-396</subfield>
   <subfield code="x">0933-5846</subfield>
   <subfield code="q">31:6&lt;385</subfield>
   <subfield code="1">1992</subfield>
   <subfield code="2">31</subfield>
   <subfield code="o">153</subfield>
  </datafield>
  <datafield tag="900" ind1=" " ind2="7">
   <subfield code="a">Metadata rights reserved</subfield>
   <subfield code="b">Springer special CC-BY-NC licence</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="898" ind1=" " ind2=" ">
   <subfield code="a">BK010053</subfield>
   <subfield code="b">XK010053</subfield>
   <subfield code="c">XK010000</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="F">NATIONALLICENCE</subfield>
   <subfield code="b">NL-springer</subfield>
  </datafield>
 </record>
</collection>
