FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS

FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS

10.1017/jsl.2021.15

Saved in:
Bibliographic Details
Main Authors: Goh, Jun Le, Pauly, Arno, Valenti, Manlio
Other Authors: MATHEMATICS
Format: Article
Published: Cambridge University Press (CUP) 2022
Subjects:
Weihrauch reducibility
computable analysis
well-quasiorders
reverse mathematics
Online Access:https://scholarbank.nus.edu.sg/handle/10635/226819
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

https://scholarbank.nus.edu.sg/handle/10635/226819

Similar Items