Jun Le Goh

MaRDI QIDQ1987212zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The weakness of finding descending sequences in ill-founded linear orders (available as arXiv preprint)	N/A	Paper
Redundancy of information: lowering effective dimension Journal of Computer and System Sciences	2026-02-11	Paper
Halin's infinite ray theorems: complexity and reverse mathematics Journal of Mathematical Logic	2025-04-28	Paper
The weakness of finding descending sequences in ill-founded linear orders	2025-02-07	Paper
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES Journal of Symbolic Logic	2023-12-22	Paper
PA RELATIVE TO AN ENUMERATION ORACLE Journal of Symbolic Logic	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 Computability	2023-01-12	Paper
Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis The Bulletin of Symbolic Logic	2022-04-04	Paper
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS Journal of Symbolic Logic	2021-10-27	Paper
Ramsey's theorem and products in the Weihrauch degrees Computability	2020-11-09	Paper
Compositions of multivalued functions Computability	2020-11-09	Paper
Embeddings between well-orderings: computability-theoretic reductions Annals of Pure and Applied Logic	2020-04-14	Paper
Some computability-theoretic reductions between principles around $\mathsf{ATR}_0$	2019-05-16	Paper

Research outcomes over time

This page was built for person: Jun Le Goh