No Cover Image

Conference Paper/Proceeding/Abstract 47 views 18 downloads

The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders

Jun Le Goh Orcid Logo, Arno Pauly Orcid Logo, Manlio Valenti Orcid Logo

Twenty Years of Theoretical and Practical Synergies, Volume: 14773, Pages: 339 - 350

Swansea University Authors: Arno Pauly Orcid Logo, Manlio Valenti Orcid Logo

  • cie.pdf

    PDF | Accepted Manuscript

    Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).

    Download (134.55KB)
Published in: Twenty Years of Theoretical and Practical Synergies
ISBN: 9783031643088 9783031643095
ISSN: 0302-9743 1611-3349
Published: Cham Springer Nature Switzerland 2024
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa66589
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Weihrauch reducibility; well quasi-orders; first-order part
College: Faculty of Science and Engineering
Start Page: 339
End Page: 350