Jun Le Goh

Available identifiers

Publication	Date of Publication	Type
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES	2023-12-22	Paper
PA RELATIVE TO AN ENUMERATION ORACLE	2023-12-22	Paper
Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E	2023-08-27	Paper
Redundancy of information: lowering dimension	2023-07-21	Paper
Extensions of two constructions of Ahmad	2023-01-12	Paper
Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis	2022-04-04	Paper
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS	2021-10-27	Paper
Ramsey's theorem and products in the Weihrauch degrees	2020-11-09	Paper
Compositions of multivalued functions	2020-11-09	Paper
Embeddings between well-orderings: computability-theoretic reductions	2020-04-14	Paper
Some computability-theoretic reductions between principles around $\mathsf{ATR}_0$	2019-05-16	Paper
The weakness of finding descending sequences in ill-founded linear orders	N/A	Paper

This page was built for person: Jun Le Goh