pith. sign in
module module high

IndisputableMonolith.CondensedMatter.TopologicalPhasesStructure

show as:
view Lean formalization →

The module establishes that topological phase structure implies strongly correlated electron input in the Recognition Science ledger model for condensed matter. Condensed matter theorists working on topological order or anyonic excitations would cite it to connect RS forcing chains to electron correlations. The module consists of definitions and the core implication, with no internal proofs, depending on the imported strongly correlated electrons structure.

claimTopological phase structure implies strongly correlated electron input: topological phase structure $implies$ strongly correlated electron input.

background

Recognition Science derives condensed matter from the unified forcing chain with J-uniqueness (T5) and the phi-ladder mass assignments. This module sits in the CondensedMatter domain and imports the StronglyCorrelatedElectronsStructure to supply the correlation input. It introduces topological phases as additional ledger structure that forces the electron correlation requirement.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

This module supplies the implication linking topological phases to strongly correlated electrons and feeds the CondensedMatter domain derivations. It fills the step connecting T8 (D=3) and phi scales to material phases in the RS monolith.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (3)