Registry · Proposition V.P73 tau-effective formalized

V.P73 — Neutrino Heating Condition --- V.P37

The stalled supernova shock is revived when the neutrino heating rate exceeds the cooling rate in the gain region. The heating depends on A-sector (Weak) neutrinos interacting with C-sector (Strong) nucleons via kappa(A,C) = iota_tau^4/(1-iota_tau).

Book V Part 5 Ch. 39

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.Supernovae

Symbol: Tau.BookV.Astrophysics.NeutrinoHeatingConditionVp37