pith. sign in
module module moderate

IndisputableMonolith.Economics.FinancialMarketsFromRS

show as:
view Lean formalization →

The module applies Recognition Science to financial markets by defining asset classes and risks scaled on the phi-ladder, with equilibrium fixed at vanishing J-cost. Economists working on scale-free pricing models would cite it for the J=0 condition. It is a definitions module that assembles the equilibrium statement from the imported Cost primitives without any proofs.

claimMarket equilibrium is the condition $J=0$, where $J$ denotes the recognition cost function obeying the composition law $J(xy)+J(x/y)=2J(x)J(y)+2J(x)+2J(y)$.

background

Recognition Science starts from the single functional equation whose solutions yield the J-cost $J(x)=(x+x^{-1})/2-1$. The upstream Cost module supplies this J together with the associated composition law. The present module extends the framework to economics by introducing asset classes whose valuations sit on the phi-ladder and financial risks measured by the same J-cost, then declares equilibrium precisely when that cost vanishes.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

It supplies the J=0 equilibrium that downstream certificates such as FinancialMarketsCert rely on, thereby placing financial markets inside the Recognition Science forcing chain at the point where the J-uniqueness (T5) is applied to economic observables.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)