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
289 results
(filtered from 2160)
Effective Training Productivity
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:46
Phieff Exceeds Phi 0
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:54
Phieff Ge One Condition
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:70
Gc Function
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:88
Gc Trivial Solution
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:93
Adoption R0
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:104
Adoption Threshold
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:108
Baumol Growth Rate
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:129
Baumol Limit
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:133
Baumol Bounded Below
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:140
Singularity Time
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:156
Singularity Time Pos
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:160
Two Period Overinvestment
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:176
Saturation Escape Rate
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:194
Effective Alpha Monotone J
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:211
Collapse At J1
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:226
Crossing Threshold Reexport
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:237
Estate Tax Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:39
Per Heir Wealth
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:43
Recipient Tax Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:48
Dispersion Tax Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:57
Wealth Dilution Ratio
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:68
Bequest Herfindahl
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:76
CES Capital Share
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:81
Concentration Welfare Cost
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:88
Revenue Equivalence
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:102
Dispersion Revenue Nonneg
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:111
Zero Tax When Dispersed
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:123
Positive Tax When Concentrated
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:131
More Heirs Lower Herfindahl
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:148
Dispersion Raises Curvature
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:163
Dispersion Dominance
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:185
No Inheritance Tradeoff
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:203
Dilution Ratio Pos
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:226
Self Correction Iff
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:242
Single Heir Piketty
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:253
Multiple Heirs Relax
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:263
Automation Raises Dilution
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:276
Concentration Compounds
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:295
Trust Irrelevance
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:313
Incentive Compatible
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:328
Minimum Heirs For Exemption
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:344
Curvature Gain Formula
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:364
Curvature Gain Increases With Complementarity
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:372
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
Diversity Bonus
def
proved
Curvature Roles
thesis/CESProofs/Applications/FirmFailureResilience.lean
:26
Marginal Curvature Loss
def
proved
Curvature Roles
thesis/CESProofs/Applications/FirmFailureResilience.lean
:32
Marginal Curvature Loss Eq
theorem
proved
Curvature Roles
thesis/CESProofs/Applications/FirmFailureResilience.lean
:41
« Prev
Page 1 of 6
Next »