166 results (filtered from 2160)

Log CES Hessian QF

def proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:31

Log CES Eigenvalue Perp

def proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:37

Log CES Hessian On Perp

theorem proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:41

Log CES Eigenvalue Perp Neg

theorem proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:56

Q Partition Function

def proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:71

Q Partition Function Pos At One

theorem proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:79

Q Partition Function Equal Payoffs

theorem proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:90

Tsallis Hessian Diag

def proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:106

Tsallis Hessian Uniform On Perp

theorem proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:116

Tsallis Hessian Diag Neg

theorem proved CES Potential

thesis/CESProofs/Potential/Appendix.lean:129

Bilateral Keff Decreasing

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:34

Bilateral Keff Strict

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:44

Bilateral Keff Sq Decreasing

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:66

Diversification Degradation Ratio

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:81

Trade Collapse At Critical

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:90

Curvature K Decreasing In Rho

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:102

Complementary Goods More Fragile

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:118

Complementary Goods Higher Keff

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:145

Highest Friction Pair Fails First

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:165

Efficiency Fragility Tradeoff

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:183

noise_tolerance_increasing_in_rho

theorem proved CES Potential

thesis/CESProofs/Potential/BilateralTrade.lean:221

Axiom A1 Linear Payoff

def proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:34

Axiom A2 Pseudo Additive Penalty

def proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:44

Axiom A3 Symmetry

def proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:49

Axiom A4 Logit Recovery

def proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:60

CES Potential Uniqueness

theorem proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:84

CES Potential Affine In T

theorem proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:91

CES Potential Zero Friction

theorem proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:99

CES Potential Symmetric

theorem proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:104

CES Potential Eq Effective CES Potential

theorem proved CES Potential

thesis/CESProofs/Potential/CESPotential.lean:116

Q Log

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:26

Q Exp

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:32

Q Log One

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:41

Q Exp Zero

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:48

Q Log Eq Of Ne

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:55

Q Exp Eq Of Ne

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:60

On Simplex

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:69

On Open Simplex

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:73

Tsallis Entropy

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:80

Tsallis Entropy Uniform

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:87

CES Potential

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:121

Effective Curvature Keff

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:129

Critical Friction

def proved CES Potential

thesis/CESProofs/Potential/Defs.lean:137

Effective Curvature Keff Zero Friction

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:145

Effective Curvature Keff Above Critical

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:154

Effective Curvature Keff Nonneg

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:164

Effective Curvature Keff Le K

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:173

Effective Curvature Keff Pos

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:188

Uniform On Open Simplex

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:203

On Open Simplex To Simplex

theorem proved CES Potential

thesis/CESProofs/Potential/Defs.lean:212

Page 1 of 4