ILG
Articles 1–15 of 15. Alphabetical by title.
Ilg Cpminstance
A formal proof that a modified gravity model cannot hide its defects: the energy cost of a mismatch is always at least a fixed fraction of the mismatch itself.
Ilg Cpminstance Ilg Alpha Eq Rs
A machine-checked theorem ties a gravitational model's coupling constant to a fixed value, but the identity is a definitional equality, not a measurement or a derivation of th
Ilg Cpminstance Ilg C Matches Cpm
A theorem in the Recognition Science library proves that a specific number, 49/162, is the coercivity constant for one gravitational model, tying the model's stability bound t
Ilg Cpminstance Ilg Cmin Value
A theorem in the Recognition Science library computes a single number, 49/162, that bounds how much a model's defect can outpace its energy gap.
Ilg Cpminstance Ilg Constants Pos
A machine-checked proof that three constants in a gravitational model are all positive, and what that positivity does and does not buy.
Ilg Cpminstance Ilg Falsifiable Bound
A theorem about a gravitational modification guarantees its core kernel never falls below one, turning a model into a testable prediction.
Ilg Cpminstance Ilg Reverse Coercivity
A machine-checked theorem says that in one model of modified gravity, the energy gap is always at least a fixed fraction of the defect mass.
Ilg Cpminstance Ilgprediction
A formal structure that packages a galaxy's predicted rotation-curve enhancement with its uncertainty bound, capped at a factor of two.
Ilg Kernel Kernel At Ratio One Alpha Zero
A single theorem pins down what a cosmic filter does when the scale of observation equals the scale of the filter itself.
Ilg Kernel Kernel Background Independent Of Params
A single number, the value 1, sits at the base of a cosmological model; a machine-checked proof shows it stays 1 no matter how the model's parameters are chosen.
Ilg Kernel Kernel Dynamical Time Ge One
A single theorem in a machine-checked library pins down the smallest value a certain cosmic time factor can take, and it is 1.
Ilg Kernel Kernel Dynamical Time Stationary
A formal theorem in the Infra-Luminous Gravity kernel states that the kernel's value at a given dynamical time is independent of any other time coordinate, a fact that blocks
Ilg Kernel Kernel Perturbation Bounded Above
A formal proof places a hard upper limit on a cosmological correction term, guaranteeing it cannot grow without bound.
Ilg Kernel Kernel Perturbation Eq Kernel Of Ge
A small piece of the Infra-Luminous Gravity framework shows that a perturbation formula and a base formula coincide whenever the wave number stays above a floor, a fact that anchor
Ilg Kernel Kernel With Hubble Bounded Above
A formal theorem puts a ceiling on how much cosmic expansion can amplify a perturbation, and the bound is a simple function of the expansion rate.