Institutional Friction Rate

def proved Dynamics & Crises

Documentation

Lean 4 Proof

def institutionalFrictionRate (β_I G T T_min : ℝ) : ℝ := -β_I * G * (T - T_min)

Dependency Graph

Used by

institutional_reform_lowers_friction combined_rate_steady_state friction_channels_oppose minsky_friction_spiral f_T_specified combinedFrictionRate

Location

thesis/CESProofs/Dynamics/EndogenousT.lean:44

Module Section

Results T-80 through T-89: Endogenous Information Friction Dynamics

In the same file

learningFrictionRate cascadeFrictionRate shockFrictionImpulse combinedFrictionRate learning_reduces_friction cascade_increases_friction institutional_reform_lowers_friction friction_channels_oppose minsky_friction_spiral friction_hysteresis cascade_vanishes_at_critical learning_at_zero combined_rate_steady_state f_T_specified