Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Guido Gherardi
Follow
Activity
Upvotes
Folders
Articles
13
Mitochondrial Calcium Uptake Declines during Aging and is Directly Activated by Oleuropein to Boost Energy Metabolism and Skeletal Muscle Performance
26 November 2024 by
Guido Gherardi
and
others
Physiology
Non-Normal Super-Strict Implications
14 April 2022 by
Guido Gherardi
and
Eugenio Orlandelli
Logic in Computer Science
Completion of Choice
30 April 2020 by
Vasco Brattka
and
Guido Gherardi
at
MSC
Logic
,
Logic in Computer Science
Weihrauch goes Brouwerian
22 January 2020 by
Vasco Brattka
and
Guido Gherardi
Logic
,
Logic in Computer Science
Projection operators in the Weihrauch lattice
22 August 2018 by
Guido Gherardi
and
others
Logic
Interpolation in extensions of first-order logic
10 August 2018 by
Guido Gherardi
and
others
Logic
Weihrauch Complexity in Computable Analysis
7 May 2018 by
Vasco Brattka
and
others
Logic
,
Logic in Computer Science
The basis of Boole's logical calculus
4 October 2017 by
Giovanna Corsi
and
Guido Gherardi
Logic
The Vitali Covering Theorem in the Weihrauch Lattice
26 July 2016 by
Vasco Brattka
and
others
Logic
,
Logic in Computer Science
Probabilistic Computability and Choice
8 July 2014 by
Vasco Brattka
and
others
Logic
,
Computational Complexity
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
2 October 2011 by
Vasco Brattka
and
others
Logic
,
Logic in Computer Science
Weihrauch Degrees, Omniscience Principles and Weak Computability
16 July 2009 by
Vasco Brattka
and
Guido Gherardi
Logic
Effective Choice and Boundedness Principles in Computable Analysis
1 June 2009 by
Vasco Brattka
and
Guido Gherardi
Logic
How incomputable is the separable Hahn-Banach theorem?
21 November 2008 by
Guido Gherardi
and
Alberto Marcone
Logic
,
Functional Analysis
This is an AI-generated summary
Key points
Topics
Logic
Logic in Computer Science
Computational Complexity
Functional Analysis