The following pages link to Guido Gherardi (Q408155):
Displaying 28 items.
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma'' (Q529168) (← links)
- How incomputable is the separable Hahn-Banach theorem? (Q987935) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Completion of choice (Q2220486) (← links)
- Probabilistic computability and choice (Q2346414) (← links)
- Boethius of Dacia (1270s) and Radulphus Brito (1290s) on the universal sign `every' (Q2354876) (← links)
- Computability in harmonic analysis (Q2671298) (← links)
- Weihrauch Degrees, Omniscience Principles and Weak Computability (Q2917341) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q2917342) (← links)
- Las Vegas Computability and Algorithmic Randomness (Q2954989) (← links)
- The Vitali Covering Theorem in the Weihrauch Lattice (Q2970958) (← links)
- Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Alan Turing and the Foundations of Computable Analysis (Q3174639) (← links)
- Effective Borel degrees of some topological functions (Q3418092) (← links)
- Borel Complexity of Topological Operations on Computable Metric Spaces (Q3611721) (← links)
- Computability and Incomputability of Differential Equations (Q3654822) (← links)
- How Incomputable is the Separable Hahn-Banach Theorem? (Q4918007) (← links)
- Super-Strict Implications (Q4999461) (← links)
- Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
- Projection operators in the Weihrauch lattice (Q5211067) (← links)
- Internal Computability (Q5425336) (← links)
- Borel Complexity of Topological Operations on Computable Metric Spaces (Q5426868) (← links)
- WEIHRAUCH GOES BROUWERIAN (Q5858925) (← links)
- Logical Approaches to Computational Barriers (Q5898818) (← links)
- Proof systems for super-strict implication (Q6127190) (← links)
- Non-normal super-strict implications (Q6659894) (← links)
