- Connected choice and the Brouwer fixed point theorem.Vasco Brattka, Stéphane Le Roux, Joseph S. Miller & Arno Pauly - 2019 - Journal of Mathematical Logic 19 (1):1950004.details
|
|
Completion of choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.details
|
|
Universality, optimality, and randomness deficiency.Rupert Hölzl & Paul Shafer - 2015 - Annals of Pure and Applied Logic 166 (10):1049-1069.details
|
|
Finding descending sequences through ill-founded linear orders.Jun le Goh, Arno Pauly & Manlio Valenti - 2021 - Journal of Symbolic Logic 86 (2):817-854.details
|
|
Weihrauch Goes Brouwerian.Vasco Brattka & Guido Gherardi - 2020 - Journal of Symbolic Logic 85 (4):1614-1653.details
|
|
On the Uniform Computational Content of the Baire Category Theorem.Vasco Brattka, Matthew Hendtlass & Alexander P. Kreuzer - 2018 - Notre Dame Journal of Formal Logic 59 (4):605-636.details
|
|
On the uniform computational content of ramsey’s theorem.Vasco Brattka & Tahina Rakotoniaina - 2017 - Journal of Symbolic Logic 82 (4):1278-1316.details
|
|
Inside the Muchnik degrees I: Discontinuity, learnability and constructivism.K. Higuchi & T. Kihara - 2014 - Annals of Pure and Applied Logic 165 (5):1058-1114.details
|
|
Embeddings between well-orderings: Computability-theoretic reductions.Jun Le Goh - 2020 - Annals of Pure and Applied Logic 171 (6):102789.details
|
|
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions.K. Higuchi & T. Kihara - 2014 - Annals of Pure and Applied Logic 165 (6):1201-1241.details
|
|
Algebraic properties of the first-order part of a problem.Giovanni Soldà & Manlio Valenti - 2023 - Annals of Pure and Applied Logic 174 (7):103270.details
|
|
Searching for an analogue of atr0 in the Weihrauch lattice.Takayuki Kihara, Alberto Marcone & Arno Pauly - 2020 - Journal of Symbolic Logic 85 (3):1006-1043.details
|
|
Addendum to: “The Bolzano–Weierstrass theorem is the jump of weak Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623–655]. [REVIEW]Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone & Matthias Schröder - 2017 - Annals of Pure and Applied Logic 168 (8):1605-1608.details
|
|
From Bolzano‐Weierstraß to Arzelà‐Ascoli.Alexander P. Kreuzer - 2014 - Mathematical Logic Quarterly 60 (3):177-183.details
|
|
On Weihrauch reducibility and intuitionistic reverse mathematics.Rutger Kuyper - 2017 - Journal of Symbolic Logic 82 (4):1438-1458.details
|
|
Multi-valued functions in computability theory.Arno Pauly - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 571--580.details
|
|