Journal article 476 views
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
JUN LE GOH,
Arno Pauly 
,
MANLIO VALENTI
,
MANLIO VALENTI
The Journal of Symbolic Logic, Volume: 86, Issue: 2, Pages: 817 - 854
Swansea University Author:
Arno Pauly
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1017/jsl.2021.15
Abstract
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
| Published in: | The Journal of Symbolic Logic |
|---|---|
| ISSN: | 0022-4812 1943-5886 |
| Published: |
Cambridge University Press (CUP)
2021
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa57509 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Keywords: |
Weihrauch reducibility; computable analysis; well-quasiorders; reverse mathematics |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
2 |
| Start Page: |
817 |
| End Page: |
854 |