Four-Generator Ladder Incompleteness

With 4 generators, only 2 solenoidal generators (pi, gamma) exist for 3 rewiring levels needed. Exponentiation has no canonical channel. This breaks ladder completeness.

Four-Generator Ladder Incompleteness

Summary

With 4 generators, only 2 solenoidal generators (pi, gamma) exist for 3 rewiring levels needed. Exponentiation has no canonical channel. This breaks ladder completeness.

Statement

%
\label{thm:four-gen-incomplete}
Consider a hypothetical 4-generator system
$\mathrm{Gen}_4 = \{\alpha, \pi, \gamma, \omega\}$
(dropping~$\eta$).
Only two solenoidal generators remain
($\pi$ and $\gamma$),
but the iterator ladder requires three
rewiring channels
(addition, multiplication, exponentiation).
The exponentiation level has no canonical channel:
\[
    \mathrm{channel}(L_2) = \textup{none}.
\]

Proof / Justification

The two solenoidal generators $\pi$ and $\gamma$
are assigned to the addition and multiplication channels
respectively.
No solenoidal generator remains for exponentiation.
The pigeonhole principle gives
$|\{\pi, \gamma\}| = 2 < 3$ rewiring levels needed.

Source Context

• Registry source: book-01.jsonl line 74
• Manuscript source: 2nd-edition/book-i-categorical-foundations/02_mainmatter/part03/ch12-exp-tetration.tex lines 455-470

Lean / Formalization Notes

• Formalization: formalized
• Module: TauLib.BookI.Orbit.TooFew
• Name: Tau.Orbit.TooFew.four_gen_ladder_incomplete

Dependencies

• Canonical: I.T02

Related Results

Generated by later projection phases.

Related Publications

Generated by later projection phases.

Revision Notes

• 2026-04-24: Initial pilot migration.