Sh:E117

• Shelah, S. HJ number revisited. Preprint. arXiv: 2607.14732
• Abstract:
  Hales-Jewett theorem is well known. We prove a primitive recursive bound for the density version and more.

  In particular we deal with what was the main induction step in the old proof of Hales-Jewett as a result in its own right.

• Version 2026-11-01_3 (20p)

@article{Sh:E117,
 author = {Shelah, Saharon},
 title = {{HJ number revisited}},
 note = {\href{https://arxiv.org/abs/2607.14732}{arXiv: 2607.14732}},
 arxiv_number = {2607.14732}
}