Pith. sign in
module module low

IndisputableMonolith.Cosmology.VoidTopologyFromConfigDim

show as:
view Lean formalization →

The cosmology module defines the class of voids, its enumeration function, and the topology certificate derived from configuration dimension. Researchers modeling large-scale structure within the Recognition Science framework would cite these constructs. It is a definitions-only module with no proofs, drawing on the imported constants module for the base time quantum.

claimIntroduces the void class $V$ together with its count and the topology certificate $C$ such that void topology follows from configuration dimension in the Recognition Science setting.

background

This module sits in the cosmology domain and imports the constants module. The upstream constants module establishes the fundamental RS time quantum as τ₀ = 1 tick. The module introduces sibling definitions for void classification and topology certification based on configuration dimension.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

Supplies foundational definitions for void topology in cosmology applications of the Recognition framework. No downstream theorems are listed as users. It extends the constants module providing τ₀ into cosmological structure definitions.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)