No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
212def qptExamples : List String := [
proof body
Definition body.
213 "Mott insulator-metal",
214 "Quantum Hall plateau transitions",
215 "Heavy fermion systems",
216 "Superconductor-insulator"
217]
218
219/-! ## Topological Phase Transitions -/
220
221/-- Topological transitions change the topology, not symmetry:
222 - Kosterlitz-Thouless (2D XY model)
223 - Topological insulator transitions
224
225 In RS: Topology of J-cost landscape changes. -/
depends on (11)
Lean names referenced from this declaration's body.
-
of
in IndisputableMonolith.Astrophysics.NucleosynthesisTiers
decl_use
-
model
in IndisputableMonolith.ClassicalBridge.Fluids.CPM2D
decl_use
-
of
in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization
decl_use
-
cost
in IndisputableMonolith.Foundation.MultiplicativeRecognizerL4
decl_use
-
cost
in IndisputableMonolith.Foundation.ObserverForcing
decl_use
-
of
in IndisputableMonolith.Foundation.PhiForcingDerived
decl_use
-
of
in IndisputableMonolith.Foundation.SpectralEmergence
decl_use
-
Superconductor
in IndisputableMonolith.Gravity.CoherenceGain
decl_use
-
Phase
in IndisputableMonolith.Information.ChurchTuringPhysicsStructure
decl_use
-
of
in IndisputableMonolith.Information.PhysicsComplexityStructure
decl_use
-
Phase
in IndisputableMonolith.RRF.Hypotheses.EightTick
decl_use