<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>     caa a22        4500</leader>
  <controlfield tag="001">445358726</controlfield>
  <controlfield tag="003">CHVBK</controlfield>
  <controlfield tag="005">20180317142908.0</controlfield>
  <controlfield tag="007">cr unu---uuuuu</controlfield>
  <controlfield tag="008">170323e20110301xx      s     000 0 eng  </controlfield>
  <datafield tag="024" ind1="7" ind2="0">
   <subfield code="a">10.1007/s00493-011-2602-y</subfield>
   <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(NATIONALLICENCE)springer-10.1007/s00493-011-2602-y</subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="3">
   <subfield code="a">An infinite combinatorial statement with a poset parameter</subfield>
   <subfield code="h">[Elektronische Daten]</subfield>
   <subfield code="c">[Pierre Gillibert, Friedrich Wehrung]</subfield>
  </datafield>
  <datafield tag="520" ind1="3" ind2=" ">
   <subfield code="a">We introduce an extension, indexed by a partially ordered set P and cardinal numbers κ,λ, denoted by (κ,&lt;λ)⇝P, of the classical relation (κ,n,λ)→ρ in infinite combinatorics. By definition, (κ,n,λ)→ρ holds if every map F: [κ] n →[κ]&lt;λ has a ρ-element free set. For example, Kuratowski's Free Set Theorem states that (κ,n,λ)→n+1 holds iff κ ≥ λ +n , where λ +n denotes the n-th cardinal successor of an infinite cardinal λ. By using the (κ,&lt;λ)⇝P framework, we present a self-contained proof of the first author's result that (λ +n ,n,λ)→n+2, for each infinite cardinal λ and each positive integer n, which solves a problem stated in the 1985 monograph of Erdős, Hajnal, Máté, and Rado. Furthermore, by using an order-dimension estimate established in 1971 by Hajnal and Spencer, we prove the relation $(\lambda ^{ + (n - 1)} ,r,\lambda ) \to 2^{\left\lfloor {\tfrac{1} {2}(1 - 2^{ - r} )^{ - n/r} } \right\rfloor } $ , for every infinite cardinal λ and all positive integers n and r with 2≤r&lt;n. For example, (ℵ210,4,ℵ0)→32,768. Other order-dimension estimates yield relations such as (ℵ109,4,ℵ0) → 257 (using an estimate by Füredi and Kahn) and (ℵ7,4,ℵ0)→10 (using an exact estimate by Dushnik).</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
   <subfield code="a">János Bolyai Mathematical Society and Springer Verlag, 2011</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Gillibert</subfield>
   <subfield code="D">Pierre</subfield>
   <subfield code="u">LMNO, CNRS UMR 6139 Département de Mathématiques, BP 5186, Université de Caen, Campus 2, 14032, Caen cedex, France</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Wehrung</subfield>
   <subfield code="D">Friedrich</subfield>
   <subfield code="u">LMNO, CNRS UMR 6139 Département de Mathématiques, BP 5186, Université de Caen, Campus 2, 14032, Caen cedex, France</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="773" ind1="0" ind2=" ">
   <subfield code="t">Combinatorica</subfield>
   <subfield code="d">Springer-Verlag</subfield>
   <subfield code="g">31/2(2011-03-01), 183-200</subfield>
   <subfield code="x">0209-9683</subfield>
   <subfield code="q">31:2&lt;183</subfield>
   <subfield code="1">2011</subfield>
   <subfield code="2">31</subfield>
   <subfield code="o">493</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="0">
   <subfield code="u">https://doi.org/10.1007/s00493-011-2602-y</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/s00493-011-2602-y</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">Gillibert</subfield>
   <subfield code="D">Pierre</subfield>
   <subfield code="u">LMNO, CNRS UMR 6139 Département de Mathématiques, BP 5186, Université de Caen, Campus 2, 14032, Caen cedex, France</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">Wehrung</subfield>
   <subfield code="D">Friedrich</subfield>
   <subfield code="u">LMNO, CNRS UMR 6139 Département de Mathématiques, BP 5186, Université de Caen, Campus 2, 14032, Caen cedex, France</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">Combinatorica</subfield>
   <subfield code="d">Springer-Verlag</subfield>
   <subfield code="g">31/2(2011-03-01), 183-200</subfield>
   <subfield code="x">0209-9683</subfield>
   <subfield code="q">31:2&lt;183</subfield>
   <subfield code="1">2011</subfield>
   <subfield code="2">31</subfield>
   <subfield code="o">493</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>
