No label defined (Q4863246)
From MaRDI portal
scientific article; zbMATH DE number 841090
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 841090 |
Statements
22 April 1996
0 references
Baire Category Theorem
0 references
RCA\(_ 0\)
0 references
Ramsey's Theorem
0 references
Open Mapping Theorem
0 references
subsystem of second-order arithmetic
0 references
recursive comprehension axiom
0 references
Baire space
0 references
