Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2026
License: CC BY
Data sources: ZENODO
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2026
License: CC BY
Data sources: ZENODO
ZENODO
Preprint . 2026
License: CC BY
Data sources: Datacite
ZENODO
Preprint . 2026
License: CC BY
Data sources: Datacite
ZENODO
Preprint . 2026
License: CC BY
Data sources: Datacite
versions View all 3 versions
addClaim

Mathematics as Closure-Stable Structure: A Fixed-Point Admissibility Framework

Authors: Jeremy Rodgers;

Mathematics as Closure-Stable Structure: A Fixed-Point Admissibility Framework

Abstract

This paper develops a closure-based framework for understanding mathematical structure. Instead of treating mathematical objects as primitive entities defined solely by axioms, the framework proposes that admissible mathematical structure is characterized by stability under three canonical operations: presentation collapse, inferential persistence, and canonical completion. Within this approach, mathematical lawhood is defined by a fixed-point closure condition. A candidate structure is admissible if it remains invariant under these three operators. Presentation collapse removes representational scaffolding and identifies equivalent formulations. Inferential persistence retains structure that survives admissible transformations such as proof, re-expression, and weakening of assumptions. Canonical completion selects the canonical representative of the resulting admissible class. The paper establishes two central structural results. First, the operator triple governing this closure process is shown to be inevitable: any admissibility diagnostic satisfying minimal structural conditions reduces to the same three-stage form. Second, the resulting closure recursion possesses a unique fixed point under a finite set of structural assumptions based on Noetherian descent and admissibility stability. This perspective interprets familiar mathematical structures such as groups, topological spaces, and categories as closure-stable fixed points rather than primitive axiomatic objects. The framework therefore provides a structural criterion for distinguishing essential mathematical content from representational scaffolding. The work forms the mathematical sector of a broader closure-based framework that also applies to physical law. However, the present paper focuses entirely on the mathematical formulation of closure-stable structure and the fixed-point admissibility principle that defines it.

Keywords

foundations of mathematics, Tier 0 framework, fixed point theory, robustness, canonical structures, structural realism, mathematics and physics, Knaster Tarski theorem, mathematical lawhood, closure stability, mathematical ontology, invariance, philosophy of mathematics, admissibility, axiom sensitivity, independence phenomena

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Green