Registry · Definition V.D114 tau-effective formalized

V.D114 — Macro tau-glass

Macro tau-glass: a macro configuration with mu^macro = 0 (rigid), small but nonzero nu^macro (frozen residual vorticity), large kappa^macro (high compression rigidity), and theta^macro = 0 (no long-range topological order); distinguished from crystal by absence of theta.

Book V Part 4 Ch. 33

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.MacroTauglass