Documentation

Lean 4 Proof

theorem level_emergence (N : ℕ) :
    -- N_eff = max{n : P_cycle(1,...,n) > 1}
    -- As J grows, N_eff increases in steps
    -- Each step is a regime shift in hierarchical structure
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/HierarchicalJ.lean:127

Module Section

Paper 3c, Section 6: Hierarchical Implications

In the same file