Conference Paper/Proceeding/Abstract 184 views 37 downloads
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
Jun Le Goh 
,
Arno Pauly ,
Manlio Valenti
,
Arno Pauly ,
Manlio Valenti
Twenty Years of Theoretical and Practical Synergies, Volume: 14773, Pages: 339 - 350
Swansea University Authors:
Arno Pauly , Manlio Valenti
-
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)
DOI (Published version): 10.1007/978-3-031-64309-5_27
Abstract
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
| 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 |
| Keywords: |
Weihrauch reducibility; well quasi-orders; first-order part |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
339 |
| End Page: |
350 |