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

Iv Relevance

defprovedFoundations

Documentation

Lean 4 Proof

def ivRelevance (covZX : ℝ) : Prop := covZX ≠ 0

Dependency Graph

Used by

iv_consistent iv_biased_without_exclusion iv_identifies_complier_rho

Location

thesis/CESProofs/Foundations/CESEstimation.lean:98

Module Section

CES Estimation Theory: Connecting Theory to Data

In the same file

fisherInfoRho cramerRaoBound logRatio olsSlope simultaneityBias olsPlim ivExclusion ivEstimator withinTransform panelShareIdentity fisherInfoRho_eq_escortVariance fisherInfoRho_zero_at_symmetry cramerRao_diverges_at_symmetry logRatio_antisymmetric logRatio_zero_at_symmetry shares_are_expectations_not_sufficient ols_consistent_when_exogenous ols_upward_bias ols_downward_bias ols_bias_magnitude