Beth definability and the Stone-Weierstrass theorem (Q2033009)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Beth definability and the Stone-Weierstrass theorem |
scientific article; zbMATH DE number 7358550
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Beth definability and the Stone-Weierstrass theorem |
scientific article; zbMATH DE number 7358550 |
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
0 references
0.8938111
0 references
0.8832945
0 references
0 references
0.8783613
0 references
0 references
0 references
0 references
