Beth definability and the Stone-Weierstrass theorem (Q2033009)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Beth definability and the Stone-Weierstrass theorem |
scientific article |
Statements
Beth definability and the Stone-Weierstrass theorem (English)
0 references
14 June 2021
0 references
Stone-Weierstrass theorem
0 references
compact Hausdorff spaces
0 references
infinitary varieties
0 references
equational logic
0 references
Beth definability
0 references
strong completeness
0 references
0 references
