No label defined (Q4182482)
From MaRDI portal
scientific article; zbMATH DE number 3619862
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 3619862 |
Statements
1977
0 references
decidable
0 references
lattice of closed subsets
0 references
unit interval
0 references
ring of continuous real-valued functions
0 references
first-order properties
0 references
algebraic structures
0 references
completely regular
0 references
topological spaces
0 references
Hausdorff spaces
0 references
metric spaces
0 references
discrete spaces
0 references
one-point compactifications
0 references
infinitary language
0 references
true second order arithmetic
0 references
