Jun Le Goh

14 papers C 1Journal 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Redundancy of information: Lowering effective dimension.
J. Comput. Syst. Sci.
Jun Le Goh, Joseph S. Miller, Mariya Ivanova Soskova, Linda Westrick
2025 J jnl
Halin's infinite ray theorems: Complexity and reverse mathematics.
J. Math. Log.
James S. Barnes, Jun Le Goh, Richard A. Shore
2024 C conf
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders.
CiE
Jun Le Goh, Arno Pauly, Manlio Valenti
2024 J jnl
The weakness of finding descending sequences in ill-founded linear orders.
CoRR
Jun Le Goh, Arno Pauly, Manlio Valenti
2023 J jnl
Pa Relative to an Enumeration Oracle.
J. Symb. Log.
Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova
2023 J jnl
The strength of an Axiom of finite Choice for Branches in Trees.
J. Symb. Log.
Jun Le Goh
2022 J jnl
Extensions of two constructions of Ahmad.
Comput.
Jun Le Goh, Steffen Lempp, Keng Meng Ng, Mariya Ivanova Soskova
2022 J jnl
Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis.
Bull. Symb. Log.
James S. Barnes, Jun Le Goh, Richard A. Shore
2021 J jnl
Finding descending sequences through ill-Founded linear Orders.
J. Symb. Log.
Jun Le Goh, Arno Pauly, Manlio Valenti
2020 J jnl
Compositions of multivalued functions.
Comput.
Jun Le Goh
2020 J jnl
Embeddings between well-orderings: Computability-theoretic reductions.
Ann. Pure Appl. Log.
Jun Le Goh
2020 J jnl
Finding descending sequences through ill-founded linear orders.
CoRR
Jun Le Goh, Arno Pauly, Manlio Valenti
2020 J jnl
Ramsey's theorem and products in the Weihrauch degrees.
Comput.
Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly
2019 J jnl
Measuring the Relative Complexity of Mathematical Constructions and Theorems.
Bull. Symb. Log.
Jun Le Goh