Connected choice and the Brouwer fixed point theorem (Q5223123)
From MaRDI portal
scientific article; zbMATH DE number 7077424
Language | Label | Description | Also known as |
---|---|---|---|
English | Connected choice and the Brouwer fixed point theorem |
scientific article; zbMATH DE number 7077424 |
Statements
Connected choice and the Brouwer fixed point theorem (English)
0 references
8 July 2019
0 references
computable analysis
0 references
Weihrauch lattice
0 references
reverse mathematics
0 references
choice principles
0 references
connected sets
0 references
fixed point theorems
0 references
0 references