Sections / Section 11: Dynamics and Business Cycles / endogenous_tipping

Endogenous Tipping

theoremtrivialDynamics & Crises

Documentation

Lean 4 Proof

theorem endogenous_tipping :
    -- Sub-critical: positive feedback (self-destabilizing)
    -- Super-critical: negative feedback (self-stabilizing)
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/EndogenousRho.lean:264

Module Section

Results 70-79: Endogenous Complementarity Evolution

In the same file

optimal_rho_increases_with_T log_linear_standardization_rate standardization_slows price_equation_rho T_dependent_selection fixed_point_instability rhoT_limit_cycle perez_phases cyclePeriodEstimate cycle_period_pos power_law_fluctuations rhoJ_channel_imitative rhoJ_channel_differentiated lower_rho_raises_K rhoJ_channel_zero_at_min