Banach’s theorem in higher-order reverse mathematics (Q6062174)
From MaRDI portal
scientific article; zbMATH DE number 7772623
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Banach’s theorem in higher-order reverse mathematics |
scientific article; zbMATH DE number 7772623 |
Statements
Banach’s theorem in higher-order reverse mathematics (English)
0 references
30 November 2023
0 references
reverse mathematics
0 references
Weihrauch reducibility
0 references
bijection
0 references
metric spaces
0 references
