David Gérard Tonnel

Invariant Density in Algebraic Semantics: Reducing Equational Presentations while Preserving Semantic Invariants

2026 · Zenodo (CERN European Organization for Nuclear Research)

This paper studies redundancy in equational presentations of algebraic semantics, showing how axioms can be removed without altering equational consequences or varieties. The approach is syntactic, bounded, and witness-based, illustrated on groups and semigroup-like structures. …