Alphabeta Math
ExampleConstruction: AI-adaptedVerification: Not suppliedSession-authored (Fable 5 assisted)audited 2026-07-31
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The full Möbius table of the Boolean lattice 2[3]2^{[3]}

Example

Let [3]={1,2,3}[3]=\{1,2,3\} and order 2[3]2^{[3]} by inclusion (The Boolean lattice of subsets of a finite set and its rank levels). The complete table is determined by

μ(A,B)=(1)BA(AB)\mu(A,B)=(-1)^{|B\setminus A|}\qquad(A\subseteq B)

(For ABA\subseteq B in a finite Boolean lattice, μ(A,B)=(1)BA\mu(A,B)=(-1)^{\lvert B\setminus A\rvert}). Thus the value is 11 on the diagonal, 1-1 when BB adds one element, 11 when it adds two elements, and 1-1 from \varnothing to [3][3].

Equivalently, the comparable pairs split as follows:

| BA|B\setminus A| | number of pairs | μ(A,B)\mu(A,B) | |---:|---:|---:| | 00 | 88 | 11 | | 11 | 1212 | 1-1 | | 22 | 66 | 11 | | 33 | 11 | 1-1 |

For a cover AA{i}A\subset A\cup\{i\} the recurrence reads 1+(1)=01+(-1)=0. For the top interval it reads 1+3(1)+3(1)+(1)=01+3(-1)+3(1)+(-1)=0, in agreement with The Möbius recurrence: μP(x,x)=1\mu_P(x,x)=1 and both interval sums of μP\mu_P vanish when x<yx<y.

;f1gf2gf3gf1;2gf2;3gf1;3gf1;2;3g¹(;;B)=1¹(;;B)=¡1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 72 results over 18 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources