<p>We prove that superclub implies <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_628_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {s}=\omega _1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">s</mi> <mo>=</mo> <msub> <mi>ω</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. More generally, if <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_628_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation> is weakly compact then superclub implies <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_628_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {s}_\kappa =\kappa ^+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">s</mi> <mi>κ</mi> </msub> <mo>=</mo> <msup> <mi>κ</mi> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>. Based on this statement, we separate tiltan from superclub at successors of supercompact cardinals. We also use the Galvin property in order to separate tiltan from superclub at both successors of regular and successors of singular cardinals.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Superclub, splitting, separating statements

  • Shimon Garti,
  • Saharon Shelah

摘要

We prove that superclub implies \(\mathfrak {s}=\omega _1\) s = ω 1 . More generally, if \(\kappa \) κ is weakly compact then superclub implies \(\mathfrak {s}_\kappa =\kappa ^+\) s κ = κ + . Based on this statement, we separate tiltan from superclub at successors of supercompact cardinals. We also use the Galvin property in order to separate tiltan from superclub at both successors of regular and successors of singular cardinals.