 | 2012 |
|---|
| 13 |       | Vasco Brattka,
Guido Gherardi,
Alberto Marcone:
The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma.
Ann. Pure Appl. Logic 163(6): 623-655 (2012) |
| 2011 |
|---|
| 12 | | Vasco Brattka,
Guido Gherardi:
Effective choice and boundedness principles in computable analysis.
Bulletin of Symbolic Logic 17(1): 73-117 (2011) |
| 11 | | Vasco Brattka,
Guido Gherardi,
Alberto Marcone:
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
CoRR abs/1101.0792: (2011) |
| 10 | | Vasco Brattka,
Guido Gherardi:
Weihrauch degrees, omniscience principles and weak computability.
J. Symb. Log. 76(1): 143-176 (2011) |
| 2009 |
|---|
| 9 | | Vasco Brattka,
Guido Gherardi:
Effective Choice and Boundedness Principles in Computable Analysis.
CCA 2009 |
| 8 | | Vasco Brattka,
Guido Gherardi:
Weihrauch Degrees, Omniscience Principles and Weak Computability.
CCA 2009 |
| 7 |  | Vasco Brattka,
Guido Gherardi:
A method to evaluate the computational complexity of the theorems from functional analysis.
ICTCS 2009: 59-61 |
| 6 | | Vasco Brattka,
Guido Gherardi:
Borel Complexity of Topological Operations on Computable Metric Spaces.
J. Log. Comput. 19(1): 45-76 (2009) |
| 2008 |
|---|
| 5 | | Guido Gherardi,
Alberto Marcone:
How Incomputable is the Separable Hahn-Banach Theorem?
Electr. Notes Theor. Comput. Sci. 221: 85-102 (2008) |
| 2007 |
|---|
| 4 | | Guido Gherardi:
Internal Computability.
CiE 2007: 348-357 |
| 3 | | Vasco Brattka,
Guido Gherardi:
Borel Complexity of Topological Operations on Computable Metric Spaces.
CiE 2007: 83-97 |
| 2006 |
|---|
| 2 | | Guido Gherardi:
An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability.
CiE 2006: 199-208 |
| 1 | | Guido Gherardi:
Effective Borel degrees of some topological functions.
Math. Log. Q. 52(6): 625-642 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page