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

Iv Estimator

defprovedFoundations

Documentation

Lean 4 Proof

def ivEstimator (covZY covZX : ℝ) : ℝ := covZY / covZX

Dependency Graph

Used by

iv_undefined_without_relevance iv_consistent iv_biased_without_exclusion iv_identifies_complier_rho

Location

thesis/CESProofs/Foundations/CESEstimation.lean:107

Module Section

CES Estimation Theory: Connecting Theory to Data

In the same file

fisherInfoRho cramerRaoBound logRatio olsSlope simultaneityBias olsPlim ivRelevance ivExclusion 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