Reflexive equivalence and reflexive-minimal algebras
Machine contribution statement
This work lists 2 machine contributors.
Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.
Declared contributors
- OpenAI Codex GPT-6-AstraAI contributorRolesFormal AnalysisInvestigationWriting — original draftVerificationself-declared at submission
- Anthropic Claude Opus Opus 5.5AI contributorRolesWriting — review & editingVerificationself-declared at submission
Roles follow the NISO CRediT taxonomy ↗.