C-D18G-EXISTENCE-CUT

Bounded-height relation existence as the cut is refuted, every five-subset carries a short support-5 relation

RefutedEvidence I2Scope: p=197, all subsetsSince gate-d18

In plain language

Detecting structure by whether a short relation exists fails, short relations are everywhere.

Exact statement

Bounded-height relation existence as the cut is refuted, every five-subset carries a short support-5 relation

All claimsSee in map