Author: "Gherardi, Guido" / Publisher: elsevier bv - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Gherardi, Guido"' showing total 5 results

Start Over Author "Gherardi, Guido" Publisher elsevier bv

5 results on '"Gherardi, Guido"'

1. Completion of choice

Author: Brattka, Vasco, primary and Gherardi, Guido, additional
Published: 2021
Full Text: View/download PDF

2. Addendum to: “The Bolzano–Weierstrass theorem is the jump of weak Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623–655]

Author: Brattka, Vasco, primary, Cettolo, Andrea, additional, Gherardi, Guido, additional, Marcone, Alberto, additional, and Schröder, Matthias, additional
Published: 2017
Full Text: View/download PDF

3. Probabilistic computability and choice

Author: Brattka, Vasco, primary, Gherardi, Guido, additional, and Hölzl, Rupert, additional
Published: 2015
Full Text: View/download PDF

4. The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

Author: Brattka, Vasco, primary, Gherardi, Guido, additional, and Marcone, Alberto, additional
Published: 2012
Full Text: View/download PDF

5. How Incomputable is the Separable Hahn-Banach Theorem?

Author: Gherardi, Guido, primary and Marcone, Alberto, additional
Published: 2008
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results