Pages that link to "Item:Q987935"

The following pages link to How incomputable is the separable Hahn-Banach theorem? (Q987935):

Displaying 29 items.

• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
• Closed choice and a uniform low basis theorem (Q424541) (← links)
• On the uniform computational content of the Baire category theorem (Q1633900) (← links)
• On the uniform computational content of computability theory (Q1694010) (← links)
• Game characterizations and lower cones in the Weihrauch degrees (Q2011671) (← links)
• Probabilistic computability and choice (Q2346414) (← links)
• Universality, optimality, and randomness deficiency (Q2352258) (← links)
• Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract) (Q2946357) (← links)
• The Vitali Covering Theorem in the Weihrauch Lattice (Q2970958) (← links)
• Many-one reductions and the category of multivalued functions (Q2973252) (← links)
• Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
• Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
• Computability of the Radon-Nikodym Derivative (Q3091448) (← links)
• Computability and Analysis, a Historical Approach (Q3188239) (← links)
• The Brouwer Fixed Point Theorem Revisited (Q3188240) (← links)
• On the algebraic structure of Weihrauch degrees (Q4553287) (← links)
• A comparison of concepts from computable analysis and effective descriptive set theory (Q4593238) (← links)
• ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (Q4600456) (← links)
• THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE (Q5000272) (← links)
• Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
• Open sets in computability theory and reverse mathematics (Q5140330) (← links)
• FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502) (← links)
• Connected choice and the Brouwer fixed point theorem (Q5223123) (← links)
• Game characterizations and lower cones in the Weihrauch degrees (Q5228881) (← links)
• SEARCHING FOR AN ANALOGUE OF ATR₀ IN THE WEIHRAUCH LATTICE (Q5855746) (← links)
• Primitive recursive reverse mathematics (Q6050165) (← links)
• COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
• Searching problems above arithmetical transfinite recursion (Q6584960) (← links)
• Minimal covers in the Weihrauch degrees (Q6621299) (← links)