Sections / Section 8: Applied Economics -- Elasticity, Demand, Trade / policyBias

Policy Bias

defprovedCurvature Roles

Documentation

Lean 4 Proof

def policyBias (c phi_prev sigma_old sigma_new sigma_prev delta beta_old beta_new : ℝ) : ℝ :=
  commitmentGain sigma_prev delta beta_old beta_new -
  discretionaryGain c phi_prev sigma_old sigma_new delta

Dependency Graph

Used by

policy_bias_positive policyBias_positive

Location

thesis/CESProofs/Applications/TimeInconsistency.lean:49

Module Section

Time Inconsistency Resolution via Upstream Reform (Gap 11)

In the same file

discretionaryGain commitmentGain discretionary_gain_zero commitment_gain_positive commitmentGain_positive policyBias_positive policy_bias_positive discretion_zero_cost_of_appearing commitment_resolves_inconsistency rho_drift_shifts_Tstar discretion_robust_to_drift commitment_robust_to_drift phillips_flat_discretion commitment_dominates_discretion