Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Lenguaje: | |
| Publicado: |
Zenodo
2026
|
| Acceso en línea: | https://doi.org/10.5281/zenodo.18524387 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- <p>This paper proves that <em>canonical representatives</em> and <em>quotient constructions</em>, when treated as operators that license existence or identity, are inadmissible in principle. The move from an equivalence relation to a “canonical” object or quotient structure is shown to rely on hidden choices and global assumptions that violate admissibility constraints.</p> <p>The analysis proceeds by exhaustion across standard quotienting strategies: equivalence classes, canonical forms, normal forms, gauge fixing, and representative selection principles. In every case, the act of selecting or reifying a quotient presupposes illicit commitments—total comparability, global choice, or meta-level identity criteria—that cannot be licensed within the admissible interior of the system.</p> <p>Canonical representatives are therefore revealed as <em>convenience artifacts</em>, not ontologically or foundationally grounded objects. Quotients may be used as internal organizational devices when their dependence on prior admissibility is kept explicit, but they cannot serve as generators of new identity, existence, or explanatory standing.</p> <p>The result is strictly negative and non-constructive. The paper does not reject the use of equivalence relations or quotient structures in practice, nor does it propose alternative constructions. Its contribution is to close a pervasive foundational loophole by demonstrating that “passing to the quotient” is not an admissible operator of legitimacy.</p> <p>This impossibility result integrates into a broader closure program that systematically eliminates illicit identity- and existence-generating moves, clarifying the hard limits of abstraction in admissible mathematics and physics.</p>