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
Key only
Clear
105 results
(filtered from 2160)
Elasticity Of Substitution
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:52
Sigma Rho Inverse
theorem
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:74
Factor Share Sum Eq One
theorem
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:127
Gains From Variety Gt One
theorem
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:255
CES Limit Cobb Douglas
theorem
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:821
Shephards Lemma
theorem
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:922
Logit Is CES At Q One
theorem
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:1029
Substitutability Dampens Inequality
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:86
Piketty R Gt G
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:161
Impossible Trinity
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/OpenEconomy.lean
:95
Atkinson Index Nonneg Equal Weights
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:142
Diversity Encoding
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/CorrelationRobust.lean
:62
Eigenvalue Perp Sq Proportional To K Sq
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/CorrelationRobust.lean
:162
Unique Equilibrium Complements
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/GameTheory.lean
:59
Saddle Point Substitutes
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/GameTheory.lean
:74
Symmetric Equilibrium Share
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/GameTheory.lean
:146
Deviation Gain Eq K
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/GameTheory.lean
:267
Folk Threshold Valid
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/GameTheory.lean
:302
Fitness Advantage Expands Basin
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/GameTheory.lean
:392
Diversity Premium Proportional To K Log J
theorem
proved
Hierarchy
thesis/CESProofs/CurvatureRoles/NetworkCES.lean
:865
Reduced Order Param
def
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:32
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
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
Landau Potential
def
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:198
Landau Minimizer Optimal
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:221
Universality
theorem
proved
Dynamics & Crises
thesis/CESProofs/CurvatureRoles/PhaseTransition.lean
:292
CES Sextuple Role
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/QuadrupleRole.lean
:80
CES Log Supermodular
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/Strategic.lean
:34
Superadditivity Qualitative
theorem
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/Superadditivity.lean
:48
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
Phase Portrait
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/EntryExitDynamics.lean
:160
Onsager Reciprocity
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/GibbsMeasure.lean
:410
Fold Bifurcation
theorem
trivial
Dynamics & Crises
thesis/CESProofs/Dynamics/RegimeShift.lean
:37
Landscape Structure
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/Relaxation.lean
:38
Eigenstructure Bridge
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/Relaxation.lean
:154
commutator_decomposition
theorem
proved
thesis/CESProofs/Dynamics/SymmetricAdjustment.lean
Price Leads Quantity
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/TemporalOrdering.lean
:44
Temporal Rules Summary
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/TemporalOrdering.lean
:288
Decay Factor In Unit
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/VarianceCollapse.lean
:50
Steady-State Variance
theorem
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/VarianceCollapse.lean
:85
Per Capita Surplus Le Peak
theorem
proved
Microeconomics
thesis/CESProofs/EntryExit/Calculus.lean
:291
Curvature K Real Increasing
theorem
proved
Microeconomics
thesis/CESProofs/EntryExit/CurvatureInJ.lean
:24
Fisher Info Rho Zero At Symmetry
theorem
proved
Foundations
thesis/CESProofs/Foundations/CESEstimation.lean
:143
Cramer Rao Diverges At Symmetry
theorem
proved
Foundations
thesis/CESProofs/Foundations/CESEstimation.lean
:154
Compound Symmetry Corr
def
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:54
Crisis Correlation Dual
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:222
« Prev
Page 1 of 3
Next »