Located sets and reverse mathematics (Q4527932)
From MaRDI portal
scientific article; zbMATH DE number 1558193
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Located sets and reverse mathematics |
scientific article; zbMATH DE number 1558193 |
Statements
Located sets and reverse mathematics (English)
0 references
3 May 2001
0 references
reverse mathematics
0 references
metric
0 references
compactness
0 references
closed sets
0 references
located sets
0 references
strong Tietze theorem
0 references
DNR axiom
0 references
weakly located sets
0 references
