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
279 results
(filtered from 2160)
Crra Utility
def
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:33
Atkinson Swf
def
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:37
Atkinson Index
def
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:44
Inequality Aversion
def
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:48
CES Is Atkinson Swf
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:57
Curvature Is Aversion Times Diversity
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:68
Lower Rho More Averse
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:78
No Tradeoff Welfare Interpretation
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:91
Atkinson Index Zero At Equality
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:114
Atkinson Index Nonneg Equal Weights
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:142
Utilitarian At Rho One
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:157
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
Surplus Loss Is Welfare Loss
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:226
Complementarity Alignment
theorem
proved
Macroeconomics
thesis/CESProofs/Applications/SocialWelfare.lean
:240
Capital Accumulation
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:31
Euler Consumption Growth
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:41
After Tax Return
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:47
Steady State Ky
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:51
Euler Steady State Return
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:57
Euler Steady State Mpk
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:63
Steady State Consumption
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:67
Capital Accumulation Eq Zero Iff
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:74
Steady State Ky Eq
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:80
Steady State Ky Pos
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:92
Steady State Ky Increasing In S
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:98
Steady State Ky Decreasing In Δ
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:106
Euler Consumption Growth Eq Zero Iff
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:118
Euler Steady State R Eq
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:132
Euler Steady State Return Pos
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:142
Euler Steady State Return Increasing In Τ
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:152
Euler Consumption Growth Pos Iff
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:160
After Tax Return Decreasing
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:182
After Tax Return Zero Tax
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:187
After Tax Return Full Tax
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:192
After Tax Return Pos
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:197
Steady State Consumption Eq
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:208
Golden Rule Cobb Douglas
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:220
Golden Rule Savings Eq Capital Share
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:229
Euler Steady State Mpk Eq
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:261
Ramsey Steady State Mpk
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:277
Euler Steady State Mpk Increasing In Τ
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:290
Ramsey Above Golden Rule
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:304
Ramsey Golden Rule Wedge
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:314
Dynamically Efficient
def
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:326
Ramsey Dynamically Efficient
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:331
Dynamic Efficiency Below Golden Rule
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:342
Solow Steady State Capital Share
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:356
Solow Golden Rule Savings
theorem
proved
Macroeconomics
thesis/CESProofs/Macro/Accumulation.lean
:381
« Prev
Page 1 of 6
Next »