 222    2. Decoherence not depending on system size
 223    3. Pointer states not being J-cost minima
 224    4. Classical physics failing at large N -/
 225structure EmergenceFalsifier where
 226  /-- Type of potential falsification. -/
 227  falsifier : String
 228  /-- Status. -/
 229  status : String
 230
 231/-- Current status supports RS picture. -/
 232def experimentalStatus : List EmergenceFalsifier := [
 233  ⟨"Macro superpositions", "Never observed"⟩,
 234  ⟨"Decoherence scaling", "Confirmed in experiments"⟩,
 235  ⟨"Classical at large N", "Universal observation"⟩
 236]
 237
 238end ClassicalEmergence
 239end Quantum
 240end IndisputableMonolith

papers checked against this theorem

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