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
495 results
(filtered from 2160)
Reduced Order Param
def
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:32
Keff Eq K Times Reduced
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:36
Keff At Critical
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:46
Keff Below Critical
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:55
Keff Continuous
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:69
Keff Slope Below
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:82
Keff Slope Above
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:95
Slope Jump Magnitude
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:117
Slope Jump Pos
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:122
Order Parameter Exponent One
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:139
Susceptibility Exponent One
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:156
Timescale Exponent
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:167
Correlation Length Sq
def
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:175
Correlation Length Divergence
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:178
Landau Potential
def
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:198
Landau At Minimizer
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:202
Landau Minimizer Optimal
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:221
Landau Gives Keff
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:236
Transition Width
def
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:251
Transition Width Decreasing
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:254
Keff Reduced Universal
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:268
Universality
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:292
Input-Output Decomposition
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:34
Sym Part Symmetric
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:40
Antisym Part Antisymmetric
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:45
Empirical Antisymmetry
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:60
Oscillation Spectrum
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:80
Geometric Mean Period
def
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:102
Geometric Mean Period Pos
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:105
Phase Relationships
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:130
Rho-Ordering of Crises
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:154
Recovery Ordering
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:191
Crisis Cascade
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:219
Slow-Fast Asymmetry
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:241
Quantitative Asymmetry
def
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:262
Quantitative Asymmetry
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:264
Canard / Delayed Transition
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:292
Recovery Speed
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:315
Endogenous Complementarity Lemma
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:336
Minsky Trap
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:359
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
Rho Ordering With Herfindahl
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:420
Rho Ordering Preserved General Weights
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:436
Weighted Oscillation Spectrum
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:463
Weighted Trade Conservation
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/BusinessCycles.lean
:473
establishing
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:7
Rho-Diversity Selection
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:36
Two-Level CES Curvature
def
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:58
Between Curvature
def
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/Closure.lean
:61
« Prev
Page 1 of 10
Next »