Sections / Section 12: Two-World Economy and Indicators / IndicatorProfile

Indicator Profile

structureprovedDynamics & Crises

Documentation

Lean 4 Proof

structure IndicatorProfile where
  world : ObservableWorld
  eigenspace : ObservableEigenspace
  temporal : TemporalType

Dependency Graph

Used by

aggregateCPI inventorySalesRatio initialClaims sectorCorrelations cpiServices yieldCurveSpread cpiDispersion bankPrimeRate ismNewOrders unemploymentDuration nonfarmPayrolls ciLoans commodityPrices industrialProduction spIndex personalIncome avgWeeklyHours

Location

thesis/CESProofs/Dynamics/IndicatorClassification.lean:74

Module Section

Derivation of Leading and Lagging Economic Indicators

In the same file

ObservableWorld ObservableEigenspace TemporalType relative_has_positive_K_sensitivity aggregate_has_zero_K_sensitivity flow_positive_implies_stock_rising flow_decline_while_stock_rises administeredSpeed marketClearing_full_speed administered_slower administered_relaxTime_gt indicator_classification_foundations spIndex yieldCurveSpread ismNewOrders initialClaims avgWeeklyHours industrialProduction nonfarmPayrolls personalIncome