Skip to content

Erdős Problems

1,217 source-owned questions · 604 with a formal statement · searchable by statement, number, topic and source status.

Add a contributionCollection details
Full distribution

Collection coverage

Source status, exact formal material, and reviewed Results are separate signals.

  • Open per source608
  • Resolved per source556
  • Other source status53
Exact formal statement available604 / 1,217
With Repository-reviewed evidence2 / 1,217
More filters

Coverage is source-observation coverage, not Problem completeness. Inspect coverage

Problems

55 Problems · 1 with reviewed evidence

2/2

SelectNumberQuestionOpen
#1085Erdős showed f2(n)>n1+c/log⁡log⁡nf_2(n) > n^{1+c/\log\log n} for some c>0c > 0.Source says openFormalized
#1086No statement retained — open to read what the source holdsSource says openNo formal declaration
#1087No statement retained — open to read what the source holdsSource says openNo formal declaration
#1089No statement retained — open to read what the source holdsSource says solvedNo formal declaration
#1127No statement retained — open to read what the source holdsSource says independentNo formal declaration
#1207No statement retained — open to read what the source holdsSource says openNo formal declaration
#1208No statement retained — open to read what the source holdsSource says openNo formal declaration