Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Thomas Powell
Researcher
PaperOn the computational content of Zorn's lemmaAuthorship / preprint / 2020PaperA new metastable convergence criterion and an application in the theory of uniformly convex Banach spacesAuthorship / preprint / 2019PaperApplying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's LemmaAuthorship / preprint / 2012PaperParametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choiceAuthorship / preprint / 2015PaperRates of convergence for iterative solutions of equations involving set-valued accretive operatorsAuthorship / preprint / 2020PaperA Constructive Interpretation of Ramsey's Theorem via the Product of Selection FunctionsAuthorship / preprint / 2012PaperA Game-Theoretic Computational Interpretation of Proofs in Classical AnalysisAuthorship / preprint / 2012PaperSpector bar recursion over finite partial functionsAuthorship / preprint / 2015