From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209)
From MaRDI portal
scientific article; zbMATH DE number 6301480
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Bolzano‐Weierstraß to Arzelà‐Ascoli |
scientific article; zbMATH DE number 6301480 |
Statements
From Bolzano‐Weierstraß to Arzelà‐Ascoli (English)
0 references
6 June 2014
0 references
reverse mathematics
0 references
Bolzano-Weierstrass theorem
0 references
Arzela-Ascoli theorem
0 references
strong cohesive principle
0 references
WKL
0 references
COH
0 references
instance-wise equivalence
0 references
uniform equicontinuity
0 references
computable analysis
0 references
computability
0 references
0 references
