Erdős Problem #1040
Prior state unknown→disproved
capacity alone does not determine the invariant; the zero-measure clause is a separate open question
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
analysis / Potential Theory
Erdős Problem #1040
capacity alone does not determine the invariant; the zero-measure clause is a separate open question
10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
capacity alone does not determine the invariant; the zero-measure clause is a separate open question
capacity alone does not determine the invariant; the zero-measure clause is a separate open question
Recorded attempts
Evidence graph
Connected research record
- →capacity alone does not determine the invariant; the zero-measure clause is a separate open question
parent of · claim · counterexample
- →Erdős Problem #1040
parent of · event · claim reported