Erdős problem 1119
Let be an infinite cardinal with . Let be a family of entire functions such that, for every , there are at most distinct values of . Must have cardinality at most ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/1119.leanTrue ↔ ∀ (m : Cardinal.{0}), Cardinal.aleph0 < m → m < Cardinal.continuum → ∀ (F : Set (ℂ → ℂ)), (∀ f ∈ F, Differentiable ℂ f) → (∀ (z₀ : ℂ), Cardinal.mk ↑{y | ∃ f ∈ F, f z₀ = y} ≤ m) → Cardinal.mk ↑F ≤ mSolvedStatement only, no proof