Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644)
From MaRDI portal
scientific article; zbMATH DE number 5031472
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension |
scientific article; zbMATH DE number 5031472 |
Statements
Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (English)
0 references
12 June 2006
0 references
reverse mathematics
0 references
topology
0 references
metrization
0 references
metric
0 references
Pi
0 references
MF-space
0 references
maximal filter
0 references
