Separating Points from Closed Convex Sets over ordered Fields and a Metric for ~ R n (Q3979964)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Separating Points from Closed Convex Sets over ordered Fields and a Metric for ~ R   n   |
scientific article |
Statements
Separating Points from Closed Convex Sets over ordered Fields and a Metric for ~ R   n   (English)
0 references
26 June 1992
0 references
real closed fields
0 references
separation theorem
0 references
compact convex subset
0 references
affine continuous functional
0 references
arbitrary ordered fields
0 references
real spectrum
0 references
