No Cover Image

Journal article 25 views

FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS / JUN LE GOH, Arno Pauly, 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.

Check full text

DOI (Published version): 10.1017/jsl.2021.15

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: College of Science
Issue: 2
Start Page: 817
End Page: 854