Computable total functions on metric algebras, universal algebraic specifications and dynamical systems

A technical issue is the localisation of uniform continuity using exhaustions of open sets. We use specifications composed of conditional equations, inequalities and, for convenience, new exhaustion primitives, that define functions uniquely up to isomorphism.