domains / families / research / identification-proofs

identification-proofs

separate

This skill covers formal identification arguments and proofs in structural and reduced-form econometrics. Use when the user needs to prove or formalize that a parameter is identified — including writing identification propositions, stating regularity conditions, deriving rank conditions, or showing observational equivalence fails. Triggers on "identification proof", "identification argument", "identify the parameter", "show identification", "identification condition", "exclusion restriction proof", "rank condition", "order condition", "identification strategy formal", "nonparametric identification", "parametric identification", "local identification", "global identification", "observational equivalence", "identification at infinity", "completeness condition", "regularity conditions", "Rothenberg", "proof of identification", "identification result", "identified parameter", "point identified", "set identified", "partial identification".

When to use

• Writing a formal identification proposition for a paper or theory appendix
• Deriving whether a structural or causal parameter is point identified
• Stating and verifying regularity conditions for an identification result
• Working through rank or order conditions for GMM moment conditions
• Arguing identification for IV, DiD, RDD, or structural models
• Checking whether two models are observationally equivalent
• Characterizing an identified set under partial identification
• The task is implementing a causal estimator (use `causal-inference` skill)

When not to use

• implementing a causal estimator
• structural model estimation code
• informal intuition without a formal argument

Skill page

Source