Pith. sign in
module module moderate

IndisputableMonolith.Cosmology.DarkEnergyEquationOfState

show as:
view Lean formalization →

The module sets the dark energy equation of state to w_0 = -1 as the cosmological constant baseline in Recognition Science. Cosmologists working in RS-native units cite it for late-universe acceleration models. It imports the time quantum from Constants and organizes sibling definitions around this fixed value.

claimThe dark energy equation of state parameter satisfies $w_0 = -1$.

background

Recognition Science derives all physics from the forcing chain T0 to T8, with T5 fixing J-uniqueness as J(x) = (x + x^{-1})/2 - 1 and T8 requiring three spatial dimensions. This module operates in the cosmology domain and imports the RS time quantum τ₀ = 1 tick from Constants. It introduces the dark energy EoS baseline together with objects such as wLambda, DarkEnergyModel, and DarkEnergyEoSCert.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the w_0 = -1 baseline required for consistent dark energy modeling inside the RS framework. It supports the phi-ladder mass formula and alpha^{-1} band by fixing the cosmological constant case. Sibling definitions such as DarkEnergyModel build directly on this foundation.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)