Ramsey’s theorem and products in the Weihrauch degrees DD Dzhafarov, JL Goh, DR Hirschfeldt, L Patey, A Pauly Computability 9 (2), 85-110, 2020 | 14 | 2020 |
Finding descending sequences through ill-founded linear orders J Le Goh, A Pauly, M Valenti The Journal of Symbolic Logic 86 (2), 817-854, 2021 | 12 | 2021 |
Embeddings between well-orderings: Computability-theoretic reductions J Le Goh Annals of Pure and Applied Logic 171 (6), 102789, 2020 | 6 | 2020 |
Some computability-theoretic reductions between principles around atr0 J Le Goh to appear, 2018 | 5 | 2018 |
Measuring the relative complexity of mathematical constructions and theorems J Le Goh Bulletin of Symbolic Logic 25 (4), 447-448, 2019 | 4 | 2019 |
Halin’s infinite ray theorems: Complexity and reverse mathematics J Barnes, JL Goh, RA Shore to appear, 2021 | 3 | 2021 |
Compositions of multivalued functions JL Goh Computability 9 (3-4), 231-247, 2020 | 3 | 2020 |
The strength of an axiom of finite choice for branches in trees J Le Goh preparation, 0 | 3 | |
Extensions of two constructions of Ahmad J Le Goh, S LEMPP, KM NG, MI Soskova Computability, to appear, 2022 | 1 | 2022 |
REDUNDANCY OF INFORMATION: LOWERING EFFECTIVE DIMENSION JUN LE GOH, JS MILLER, MI SOSKOVA, L WESTRICK | | 2022 |
Theorems of Hyperarithmetic Analysis and Almost Theorems of Hyperarithmetic Analysis JS Barnes, J Le Goh, RA Shore Bulletin of Symbolic Logic 28 (1), 133-149, 2022 | | 2022 |
PA RELATIVE TO AN ENUMERATION ORACLE JUNLE GOH, ISH KALIMULLIN, JS MILLER, MI SOSKOVA | | 2021 |
Reducing information with few changes L Westrick, J Le Goh, J Miller, M Soskova 2021 Joint Mathematics Meetings (JMM), 2021 | | 2021 |
Some computability-theoretic reductions between principles around JL Goh arXiv preprint arXiv:1905.06868, 2019 | | 2019 |
Number theoretic aspects of complex dynamics J Le Goh, A Vaidyanathan | | 2014 |
Extensions of two constructions of Ahmad JL Goh, S Lempp, KM Ng, MI Soskova Computability, 1-29, 0 | | |