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
id sg-nus-scholar.10635-226819
record_format dspace
spelling sg-nus-scholar.10635-2268192024-04-17T03:01:21Z FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS Goh, Jun Le Pauly, Arno Valenti, Manlio MATHEMATICS Weihrauch reducibility computable analysis well-quasiorders reverse mathematics 10.1017/jsl.2021.15 The Journal of Symbolic Logic 86 2 817-854 2022-06-09T04:09:22Z 2022-06-09T04:09:22Z 2021-06 2022-06-07T03:02:11Z Article Goh, Jun Le, Pauly, Arno, Valenti, Manlio (2021-06). FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS. The Journal of Symbolic Logic 86 (2) : 817-854. ScholarBank@NUS Repository. https://doi.org/10.1017/jsl.2021.15 0022-4812 1943-5886 https://scholarbank.nus.edu.sg/handle/10635/226819 Cambridge University Press (CUP) Elements
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Weihrauch reducibility
computable analysis
well-quasiorders
reverse mathematics
spellingShingle Weihrauch reducibility
computable analysis
well-quasiorders
reverse mathematics
Goh, Jun Le
Pauly, Arno
Valenti, Manlio
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
description 10.1017/jsl.2021.15
author2 MATHEMATICS
author_facet MATHEMATICS
Goh, Jun Le
Pauly, Arno
Valenti, Manlio
format Article
author Goh, Jun Le
Pauly, Arno
Valenti, Manlio
author_sort Goh, Jun Le
title FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_short FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_full FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_fullStr FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_full_unstemmed FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_sort finding descending sequences through ill-founded linear orders
publisher Cambridge University Press (CUP)
publishDate 2022
url https://scholarbank.nus.edu.sg/handle/10635/226819
_version_ 1800915418798358528

Similar Items