Skip to content

Erdős problem 1167

Erdős Problem 1167. Let r2r \geq 2 be finite, γ2\gamma \geq 2, and λ\lambda be an infinite cardinal. Let κα\kappa_\alpha be cardinals for all α<γ\alpha < \gamma. Is it true that 2λ(κα+1)α<γr+12^\lambda \to (\kappa_\alpha + 1)_{\alpha < \gamma}^{r+1} implies λ(κα)α<γr?\lambda \to (\kappa_\alpha)_{\alpha < \gamma}^r? Here ++ means cardinal addition, so that κα+1=κα\kappa_\alpha + 1 = \kappa_\alpha if κα\kappa_\alpha is infinite.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1167.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1167.leanErdos1167.cardinalPartitionRel_one2 linesExact file
∀ (μ : Cardinal.{u}) (r : ℕ) (ν : Ordinal.ToType 1 → Cardinal.{u}),  Combinatorics.cardinalPartitionRel μ r 1 ν ↔ μ ≥ ν Erdos1167.i0
APIStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page