Jun Le Goh - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2023

The strength of an Axiom of finite Choice for Branches in TreesJun Le Goh. JSYML, 88(4):1367-1386, 2023. [doi]

Pa Relative to an Enumeration OracleJun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova. JSYML, 88(4):1497-1525, 2023. [doi]

2022

Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic AnalysisJames S. Barnes, Jun Le Goh, Richard A. Shore. bsl, 28(1):133-149, 2022. [doi]

Extensions of two constructions of AhmadJun Le Goh, Steffen Lempp, Keng Meng Ng, Mariya Ivanova Soskova. computability, 11(3-4):269-297, 2022. [doi]

2021

Finding descending sequences through ill-Founded linear OrdersJun Le Goh, Arno Pauly, Manlio Valenti. JSYML, 86(2):817-854, 2021. [doi]

2020

Ramsey's theorem and products in the Weihrauch degreesDamir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly. computability, 9(2):85-110, 2020. [doi]

Embeddings between well-orderings: Computability-theoretic reductionsJun Le Goh. APAL, 171(6):102789, 2020. [doi]

Compositions of multivalued functionsJun Le Goh. computability, 9(3-4):231-247, 2020. [doi]

2019

Measuring the Relative Complexity of Mathematical Constructions and TheoremsJun Le Goh. bsl, 25(4):447-448, 2019. [doi]

Sign in or sign up to see more results.

runs on WebDSL