The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result
of functional analysis with far-reaching consequences. We show that this
theorem is a consequence of the Beth definability property of a certain
infinitary equational logic, stating that every implicit definition can be made
explicit.Comment: 20 pages. v2: minor changes, added a "Conclusion" sectio