phenomenon 103.68 The sum of the neutrino masses is bounded

Rests on

• depends_on phenomenon 48.15 A standard ruler in the galaxy distribution ¶
  • depends_on corollary 48.8 Angular-diameter distance and the duality relation ¶
    • depends_on equation 48.15 eq:cosmo-luminosity-distance ¶
    • depends_on proposition 48.7 Luminosity distance ¶
      • depends_on equation 48.13 eq:cosmo-chi-of-z ¶
      • depends_on equation 48.2 eq:cosmo-redshift-scale-factor ¶
      • depends_on theorem 48.3 The Robertson–Walker metric ¶
        • depends_on proposition 13.162 Curvature induced on the quadric ¶
        • depends_on remark 13.161 rem:mfd-schur ¶
        • depends_on theorem 13.160 Maximal symmetry forces constant curvature ¶
        • proves proof ch:07-cosmology@proof-2 ¶
      • proves proof ch:07-cosmology@proof-5 ¶
    • proves proof ch:07-cosmology@proof-6 ¶
  • depends_on equation 48.16 eq:cosmo-etherington ¶
  • depends_on equation 48.34 eq:cosmo-sound-horizon ¶
  • proves proof ch:07-cosmology@proof-12 ¶
• depends_on proposition 103.67 Relic density and free streaming ¶
  • depends_on equation 103.66 eq:flavour-sigma ¶
  • proves proof ch:05-flavour-neutrinos@proof-35 ¶
• proves proof ch:05-flavour-neutrinos@proof-36 ¶

Supports

Nothing declares a dependency on this node yet.