Beth definability and the Stone-Weierstrass Theorem

DOI10.1016/J.APAL.2021.102990arXiv2007.05281MaRDI QIDQ6344817FDOQ6344817

Publication date: 10 July 2020

Abstract: The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic

v D a s h_{D e l t a}

associated with an infinitary variety

D e l t a

and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of

v D a s h_{D e l t a}

, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic

v d a s h_{D e l t a}

by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated with

v d a s h_{D e l t a}

coincides with

v D a s h_{D e l t a}

.

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) MV-algebras (06D35) Rings and algebras of continuous, differentiable or analytic functions (46E25) Interpolation, preservation, definability (03C40) Infinitary algebras (08A65)

This page was built for publication: Beth definability and the Stone-Weierstrass Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6344817)