Problem
erdos:194False ↔ ∀ k ≥ 3, ∀ (r : ℝ → ℝ → Prop), IsStrictTotalOrder ℝ r → ∃ s, s.IsAPOfLength k ∧ (List.Pairwise r s ∨ List.Pairwise (flip r) s)
Matching claims
No direct claims
This problem has no directly related claim record.
Problem
erdos:194Find a Problem, Result, source, or page