pith. sign in
module module high

IndisputableMonolith.Astrophysics.CosmicMagneticFieldsStructure

show as:
view Lean formalization →

This module establishes that cosmic magnetic field structures supply structural inputs to fast radio burst models in the Recognition Science framework. It imports the FRBStructure module to organize definitions linking ledger-derived magnetic fields to FRB observables. The module consists of sibling declarations that formalize the implication without containing direct proofs.

claimCosmic magnetic field structure implies FRB-side structural input, expressed as the implication from magnetic field configurations to FRB observables in the Recognition Science ledger framework.

background

Recognition Science derives all physics from one functional equation, with the J-cost function and phi-ladder governing structure and mass. This module applies that foundation in astrophysics by importing the FRBStructure module, which supplies the FRB-side definitions. The local setting positions cosmic magnetic fields as ledger-derived objects that feed structural constraints into FRB models.

proof idea

This is a definition module with no proofs. It organizes the argument through its sibling declarations that define the magnetic field structure and establish the implication to FRB inputs via the imported FRBStructure module.

why it matters in Recognition Science

This module feeds the parent claims on cosmic magnetic fields from the ledger and their implications for FRB structure. It fills the step connecting magnetic configurations to FRB observables, supporting the extension of the unified forcing chain into astrophysical phenomena.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (3)