The following pages link to Jun Le Goh (Q1987212):
Displaying 9 items.
- Embeddings between well-orderings: computability-theoretic reductions (Q1987213) (← links)
- Extensions of two constructions of Ahmad (Q5061391) (← links)
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q5067874) (← links)
- Ramsey’s theorem and products in the Weihrauch degrees (Q5131643) (← links)
- Compositions of multivalued functions (Q5131652) (← links)
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502) (← links)
- THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES (Q6180600) (← links)
- PA RELATIVE TO AN ENUMERATION ORACLE (Q6180605) (← links)
- The weakness of finding descending sequences in ill-founded linear orders (Q6518344) (← links)
