ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
All Lean 4 Declarations
2160 declarations
Back to section overview
All kinds
axiom
def
inductive
lemma
noncomputable def
structure
theorem
All categories
Foundations
Curvature Roles
Info Geometry
CES Potential
Dynamics & Crises
Hierarchy
Trade
AI Transition
Monetary Policy
Empirical Methods
Microeconomics
Macroeconomics
All statuses
proved
sorry
axiom
trivial
Clear
133 results
(filtered from 2160)
Capital Stock Reduction
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:402
Net Welfare Positive
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:430
Automation Urgency
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:461
Cascade Exit Feedback
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/HeterogeneousFirms.lean
:180
Melitz CES Equivalence
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/HeterogeneousFirms.lean
:196
Gini Bounded By Theil
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:346
Theil Decomposition Additive
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:354
Monitoring Technology Complementarity
theorem
trivial
Curvature Roles
thesis/CESProofs/Applications/MonitoringCost.lean
:175
Spectral Gap Convergence
theorem
trivial
thesis/CESProofs/Applications/OpenEconomy.lean
:205
Rawlsian Limit
theorem
trivial
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:178
Upstream Reform Pareto
theorem
trivial
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:194
Damping No Distributional Conflict
theorem
trivial
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:211
Below Cost Pricing
theorem
trivial
Hierarchy
thesis/CESProofs/CurvatureRoles/NetworkCES.lean
:787
Anti Network Reversal
theorem
trivial
Hierarchy
thesis/CESProofs/CurvatureRoles/NetworkCES.lean
:799
Empirical Antisymmetry
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:60
Oscillation Spectrum
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:80
Phase Relationships
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:130
Crisis Cascade
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:219
Endogenous Complementarity Lemma
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:336
Monetary Policy Asymmetry
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:380
Great Moderation Damping
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:404
Weighted Oscillation Spectrum
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:463
Rho-Diversity Selection
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:36
Industrial Policy Diversity
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:106
Closure: No Free Parameters
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:130
Closure Integrability
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:153
Closure: Topological Protection
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:184
Euler Equilibrium Identity
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/ConservationLaws.lean
:39
Crooks Reversibility / Detailed Balance
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/ConservationLaws.lean
:236
Deadweight Loss from Variance
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/ConservationLaws.lean
:278
Crisis Count Invariant
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/ConservationLaws.lean
:302
Hopf Bifurcation
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:150
Limit Cycle Period
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:169
Fully Specified System
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:184
Coupled 3 D Fixed Point Exists
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:208
Hopf Bifurcation 3 D
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:240
Diversity Crash Precedes Crisis
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:259
J Variance Increases Near Fold
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:286
Mode Specific J Warning
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:318
Optimal rho Increases with T
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousRho.lean
:41
Price Equation for rho
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousRho.lean
:100
T-Dependent Selection
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousRho.lean
:127
Rho T Limit Cycle
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousRho.lean
:178
Perez Phases
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousRho.lean
:210
Endogenous Tipping
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousRho.lean
:264
Power-Law Fluctuations
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousRho.lean
:292
Friction Hysteresis
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EndogenousT.lean
:161
Phase Portrait
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EntryExitDynamics.lean
:160
Dynamic VRI
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/FluctuationResponse.lean
:93
Early Warning Signals
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/FluctuationResponse.lean
:221
« Prev
Page 1 of 3
Next »