Jun Le Goh

According to our database, Jun Le Goh authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders.

Jun Le Goh, Arno Pauly, Manlio Valenti

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023

Pa Relative to an Enumeration Oracle.

Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova

J. Symb. Log., 2023

The strength of an Axiom of finite Choice for Branches in Trees.

Jun Le Goh

J. Symb. Log., 2023

2022

Extensions of two constructions of Ahmad.

Jun Le Goh, Steffen Lempp, Keng Meng Ng, Mariya Ivanova Soskova

Comput., 2022

Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis.

James S. Barnes, Jun Le Goh, Richard A. Shore

Bull. Symb. Log., 2022

2021

Finding descending sequences through ill-Founded linear Orders.

Jun Le Goh, Arno Pauly, Manlio Valenti

J. Symb. Log., 2021

2020

Compositions of multivalued functions.

Jun Le Goh

Comput., 2020

Ramsey's theorem and products in the Weihrauch degrees.

Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly

Comput., 2020

Embeddings between well-orderings: Computability-theoretic reductions.

Jun Le Goh

Ann. Pure Appl. Log., 2020

2019

Measuring the Relative Complexity of Mathematical Constructions and Theorems.

Jun Le Goh

Bull. Symb. Log., 2019