Skip to content

Problems · Vela Mathematics Program

Narrowed toproved ×ramsey theory ×Clear all

Problem ledger

23 problemsGraph view
declared provederdos:76
Erdős problem 76
graph theoryramsey theoryA060407
declared provederdos:79
Erdős problem 79
graph theoryramsey theoryN/A
declared proved · $100erdos:88
Erdős problem 88
graph theoryramsey theoryN/A
declared provederdos:163
Erdős problem 163
graph theoryramsey theoryN/A
declared proved · $250erdos:166
Erdős problem 166
graph theoryramsey theoryA059442
declared provederdos:191
Erdős problem 191
combinatoricsramsey theoryN/A
declared provederdos:439
Erdős problem 439
number theoryramsey theoryN/A
declared provederdos:518
Erdős problem 518
graph theoryramsey theoryN/A
declared provederdos:546
Erdős problem 546
graph theoryramsey theorypossible
declared provederdos:553
Erdős problem 553
graph theoryramsey theoryA000791 · possible
declared provederdos:565
Erdős problem 565
graph theoryramsey theorypossible
declared provederdos:570
Erdős problem 570
graph theoryramsey theoryN/A
declared proved · formalized · $250erdos:590
OrdinalCardinalRamsey (Ordinal.omega0 ^ Ordinal.omega0) (Ordinal.omega0 ^ Ordinal.omega0) 3
set theoryramsey theoryN/A2 sources
declared proved · formalized · $250erdos:591
True ↔ OrdinalCardinalRamsey (Ordinal.omega0 ^ Ordinal.omega0 ^ 2) (Ordinal.omega0 ^ Ordinal.omega0 ^ 2) 3
set theoryramsey theoryN/A3 sources
declared provederdos:636
Erdős problem 636
graph theoryramsey theoryN/A
declared provederdos:637
Erdős problem 637
graph theoryramsey theoryN/A
declared proved · $100erdos:720
Erdős problem 720
graph theoryramsey theorypossible
declared provederdos:800
Erdős problem 800
graph theoryramsey theoryN/A
declared provederdos:801
Erdős problem 801
graph theoryramsey theoryN/A
declared provederdos:894
Erdős problem 894
number theoryramsey theoryN/A
declared provederdos:924
Erdős problem 924
graph theoryramsey theoryN/A
declared provederdos:986
Erdős problem 986
graph theoryramsey theoryA000791 · A0594423 sources
declared proved · formalizederdos:1105
True ↔ ∀ (k : ℕ), 3 ≤ k → (fun n => ↑((SimpleGraph.cycleGraph k).antiRamseyNum n) - ((↑k - 2) / 2 + 1 / (↑k - 1)) * ↑n) =O[Filter.atTop] fun x => 1
graph theoryramsey theorypossible3 sources

Search problems.science

Find a Problem, Result, source, or page