Beth definability and the Stone-Weierstrass Theorem
From MaRDI portal
Publication:6344817
DOI10.1016/j.apal.2021.102990zbMath1532.03043arXiv2007.05281MaRDI QIDQ6344817
Publication date: 10 July 2020
Other nonclassical logic (03B60) MV-algebras (06D35) Rings and algebras of continuous, differentiable or analytic functions (46E25) Interpolation, preservation, definability (03C40) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Infinitary algebras (08A65)
This page was built for publication: Beth definability and the Stone-Weierstrass Theorem