How incomputable is the separable Hahn-Banach theorem? (Q987935)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | How incomputable is the separable Hahn-Banach theorem? |
scientific article |
Statements
How incomputable is the separable Hahn-Banach theorem? (English)
0 references
2 September 2010
0 references
The authors show that some reverse mathematics proofs translate naturally into computable analysis proofs. For this they relate to each statement of a form that often appears in the context of reverse mathematics a certain multivalued function. In this way the multivalued function \textbf{Sep} -- which for each \(p\), \(q\) of elements of Baire space with disjoint ranges yields the set of the characteristic functions of sets of natural numbers separating the range of \(p\) and the range of \(q\) -- corresponds to a statement that is equivalent to WKL\(_0\). It is shown that a multivalued function associated with the Hahn-Banach Extension Theorem is \textbf{Sep}-complete.
0 references
computable analysis, reverse mathematics
0 references
weak König's lemma
0 references
Hahn-Banach extension theorem
0 references
multivalued functions
0 references