arXiv (All)
open access
Pointwise provable equality and the failure of composition
Montagna (1989) and Di Paola--Montagna (1991) claim that the algebraic systems $S'$ and $S'_T$, respectively, are categories. We show that the proposed composition is not independent of the choice of representatives. For every consistent recursively enumerable extension $T$ of Peano arithmetic ($\ma
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- The Superiority of Hilbert Arithmetic for Prime Number Theory: I Goldbach's conjecture proved in Hilbert arithmetic#86810
- Additional properties of parity based bit-counting complexity classes and hierarchies#1155251
- Augmented Star Products and their Applications#784971
- Augmented Star Products and their Applications#783381
- Retention as the Condition of Non-Collapse: A Framework Beyond Ontology and Deferral#728827
Record · ID 1061194
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive