Jun Le Goh

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Qualitative Temporal Reasoning

Top Venues

Bull. Symb. Log.

Publications

Jun Le Goh, Arno Pauly, Manlio Valenti
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders. CiE (2024)
Jun Le Goh, Arno Pauly, Manlio Valenti
The weakness of finding descending sequences in ill-founded linear orders. CoRR (2024)
Jun Le Goh
The strength of an Axiom of finite Choice for Branches in Trees. J. Symb. Log. 88 (4) (2023)
Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova
Pa Relative to an Enumeration Oracle. J. Symb. Log. 88 (4) (2023)
Jun Le Goh, Steffen Lempp, Keng Meng Ng, Mariya Ivanova Soskova
Extensions of two constructions of Ahmad. Comput. 11 (3-4) (2022)
James S. Barnes, Jun Le Goh, Richard A. Shore
Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis. Bull. Symb. Log. 28 (1) (2022)
Jun Le Goh, Arno Pauly, Manlio Valenti
Finding descending sequences through ill-Founded linear Orders. J. Symb. Log. 86 (2) (2021)
Jun Le Goh
Embeddings between well-orderings: Computability-theoretic reductions. Ann. Pure Appl. Log. 171 (6) (2020)
Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly
Ramsey's theorem and products in the Weihrauch degrees. Comput. 9 (2) (2020)
Jun Le Goh, Arno Pauly, Manlio Valenti
Finding descending sequences through ill-founded linear orders. CoRR (2020)
Jun Le Goh
Compositions of multivalued functions. Comput. 9 (3-4) (2020)
Jun Le Goh
Measuring the Relative Complexity of Mathematical Constructions and Theorems. Bull. Symb. Log. 25 (4) (2019)