Skip to content

Problems · Vela Mathematics Program

Narrowed todisproved (Lean) ×arithmetic progressions ×Clear all

Problem ledger

3 problemsGraph view
declared disproved (Lean) · formalizederdos:194
False ↔ ∀ k ≥ 3, ∀ (r : ℝ → ℝ → Prop), IsStrictTotalOrder ℝ r → ∃ s, s.IsAPOfLength k ∧ (List.Pairwise r s ∨ List.Pairwise (flip r) s)
arithmetic progressionsN/A5 sources
declared disproved (Lean) · formalizederdos:198
∀ (V : Type u_1) [inst : AddCommGroup V] [Module ℚ V], ∃ X, (∀ (Y : Set V), Y.IsAPOfLength ⊤ → (X ∩ Y).Nonempty) ∧ ∀ (Y : Set V), Y.IsAPOfLength 3 → (X ∩ Y).ncard ≤ 2
additive combinatoricssidon setsarithmetic progressionsN/A5 sources
declared disproved (Lean) · formalizederdos:199
False ↔ ∀ (A : Set ℝ), ThreeAPFree A → ∃ S, S.IsAPOfLength ⊤ ∧ S ⊆ Aᶜ
arithmetic progressionsN/A5 sources

Search problems.science

Find a Problem, Result, source, or page