Erdős problem 318
There exists a set A with positive density that does not have property P₁. #TODO: prove this lemma by assuming erdos_318.contain_single_even.
Result history
No result history yet
No proposed change is retained for this Problem, so there is nothing to show a decision on.
Correction history
No correction history
Technical details
Exact provenance
- Problem row
- sha256:aff3a4f60ef293607010bed37e426f96c51fc5c55c5be0dfd875afb73e7cbf26
- Metadata
- sha256:7de400ce4185fcb75882fe74eed34edbddc67c2f35cec0ab861cda3ac8f8e684
- Observation
- sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067
- Content
- sha256:34860edc1d705de5e8331b04b56c11bff16679cf452525e8f446863d480d707a
- Repository
- sha256:a956b84c437202e5a02cc9e036a621bd14a302b34a75758115730bdbb77c52a4
- Projection
- sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a
- Source commit
- 2415f78e850aeee50afdca525c6f2e0ea606f207