English

An almost strong relation

Logic 2024-01-02 v3 Combinatorics

Abstract

Let μ\mu be a strong limit singular cardinal. We prove that if 2μ>μ+2^{\mu} > \mu^+ then (μ+μ)(τμ)<cf(μ)\binom{\mu^+}{\mu}\to \binom{\tau}{\mu}_{<{\rm cf}(\mu)} for every ordinal τ<μ+\tau<\mu^+. We obtain an optimal positive relation under 2μ=μ+2^\mu = \mu^+, as after collapsing 2μ2^\mu to μ+\mu^+ this positive relation is preserved.

Cite

@article{arxiv.2301.12413,
  title  = {An almost strong relation},
  author = {Shimon Garti and Andrés Villaveces},
  journal= {arXiv preprint arXiv:2301.12413},
  year   = {2024}
}

Comments

Accepted for publication by the Bulletin of the Belgian Mathematical Society - October 2023

R2 v1 2026-06-28T08:25:17.147Z