Vela Mathematics Program: problems

Narrowed tonot disprovable ×not formalized ×Clear all

Declared status

open0 / 285
proved0 / 170
solved0 / 62
disproved0 / 55
proved (Lean)0 / 9
falsifiable0 / 8
decidable0 / 7
disproved (Lean)0 / 5
not disprovable0 / 3
not provable0 / 3
solved (Lean)0 / 3
independent0 / 2
open (Lean)0 / 1

Status and formalization as the source record declares them, across two upstream serializations this product does not merge. Neither is a Vela standing. These 3 are source-native problems, not Claims: no Claim binds them and none carries a Verification.

Formalization

not formalized3
formalized1

Subject tag

ramsey theory2
set theory2
analysis1

Problem ledger

3 problemsGraph view

declared not disprovableerdos:1154

Erdős problem 1154

analysisN/A

declared not disprovableerdos:1169

Erdős problem 1169

set theoryramsey theoryN/A

declared not disprovableerdos:1174

Erdős problem 1174

set theoryramsey theoryN/A

Problems · Vela Mathematics Program

Problem ledger

Search problems.science