M. Evoluit

The Semantic Obligations of Strong Universal Claims: An Evoluist Theorem of Audit-Domain Completeness

This consolidated technical publication is the fourth study in the formal Evoluist research programme. It continues the status-diagonal analysis developed in The Evoluist Theorem: Formal Core, the investigation of distributed and indexed coordination developed in Indexed Evaluati...