 199    2. Z-width giving N_ν ≠ 3
 200    3. Mass ratios not following φ-pattern
 201    4. Alternative derivation giving different number -/
 202structure GenerationFalsifier where
 203  /-- Type of potential falsification. -/
 204  falsifier : String
 205  /-- Current experimental status. -/
 206  status : String
 207
 208/-- Current experimental status strongly supports 3 generations. -/
 209def experimentalStatus : List GenerationFalsifier := [
 210  ⟨"4th generation search", "Ruled out for SM-like particles"⟩,
 211  ⟨"Z-width measurement", "N_ν = 2.984 ± 0.008 ≈ 3"⟩,
 212  ⟨"Cosmological bounds", "N_eff ≈ 3 from BBN and CMB"⟩
 213]
 214
 215end ThreeGenerations
 216end Physics
 217end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.