The following pages link to Jun Le Goh (Q1987212):
Displayed 11 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)
- Some computability-theoretic reductions between principles around $\mathsf{ATR}_0$ (Q6318881) (← links)
- Redundancy of information: lowering dimension (Q6444673) (← links)
- Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E (Q6448849) (← links)