finding record / sidon-sets
recordedvf_a4c54b1f9ff55bba
Szemeredi's theorem
Canonical assertion
any subset of the natural numbers with positive upper density contains arbitrarily long arithmetic progressions.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- published_paper
- theoretical
- 0 spans
- recorded
Scope and conditions
theoretical
Manually added finding; requires evidence review before scientific use.
Provenance summary
- Szemeredi 1975
- published_paper
- May 9, 2026, 10:52 PM
- not recorded
- 0
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_a4c54b1f9ff55bba
- vfr_496956067dc5ad79
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- 091277487f92918f3a2016b5463b1a78579a4c9a
Exact source and rootsGit 825657d7e876 and content-addressed ledgers
Source identity
- Commit
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- Tree
- 091277487f92918f3a2016b5463b1a78579a4c9a
- Committed
- 2026-07-20T19:17:24-04:00
- Repository
- Open source
Content roots
- Event log
- sha256:11a668d1cdd9caa18f6c3c78ac8c03431bd2ab9beb71f3c62c747d8a7b6571cd
- Snapshot
- sha256:0441baf3d3c0f7f58e51d8d0b54d2e20ee94c57cfe3fd52ec0ea6dde2ee0c92d
- Proposals
- sha256:c0908b306b5b6bc022ce4355f630215ea203a8c8b47072e62bc325e3de57ef22
- Actor registry
- sha256:56255ef713f476f7b5dbce3a52003d1a6e7d6eef92f4895c4e9edb545c173cfa
- Artifacts
- sha256:65318a8e8ff7dca020c07c5633855d14d24b92fcaed903e483134140cc32d632