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

Goh, Jun Le; Pauly, Arno; Valenti, Manlio

doi:10.1007/978-3-031-64309-5_27

Conference Paper/Proceeding/Abstract 9 views 5 downloads

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

Jun Le Goh

, 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)

Check full text

DOI (Published version): 10.1007/978-3-031-64309-5_27

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!

first_indexed	2024-07-03T13:56:02Z
last_indexed	2024-07-03T13:56:02Z
id	cronfa66589
recordtype	SURis
fullrecord	<?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>66589</id><entry>2024-06-04</entry><title>The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders</title><swanseaauthors><author><sid>17a56a78ec04e7fc47b7fe18394d7245</sid><ORCID>0000-0002-0173-3295</ORCID><firstname>Arno</firstname><surname>Pauly</surname><name>Arno Pauly</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>133b5d626ca91216041d4556dc9251fb</sid><ORCID>0000-0003-0351-3058</ORCID><firstname>Manlio</firstname><surname>Valenti</surname><name>Manlio Valenti</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2024-06-04</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Twenty Years of Theoretical and Practical Synergies</journal><volume>14773</volume><journalNumber/><paginationStart>339</paginationStart><paginationEnd>350</paginationEnd><publisher>Springer Nature Switzerland</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783031643088</isbnPrint><isbnElectronic>9783031643095</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>Weihrauch reducibility; well quasi-orders; first-order part</keywords><publishedDay>2</publishedDay><publishedMonth>7</publishedMonth><publishedYear>2024</publishedYear><publishedDate>2024-07-02</publishedDate><doi>10.1007/978-3-031-64309-5_27</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2024-07-03T14:56:45.6379104</lastEdited><Created>2024-06-04T11:51:30.4769173</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Jun Le</firstname><surname>Goh</surname><orcid>0000-0002-0487-7358</orcid><order>1</order></author><author><firstname>Arno</firstname><surname>Pauly</surname><orcid>0000-0002-0173-3295</orcid><order>2</order></author><author><firstname>Manlio</firstname><surname>Valenti</surname><orcid>0000-0003-0351-3058</orcid><order>3</order></author></authors><documents><document><filename>66589__30536__afb68f04f91d462195313ee094b8d4ec.pdf</filename><originalFilename>cie.pdf</originalFilename><uploaded>2024-06-04T11:53:53.8034094</uploaded><type>Output</type><contentLength>137775</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><documentNotes>Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/deed.en</licence></document></documents><OutputDurs/></rfc1807>
spelling	v2 66589 2024-06-04 The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders 17a56a78ec04e7fc47b7fe18394d7245 0000-0002-0173-3295 Arno Pauly Arno Pauly true false 133b5d626ca91216041d4556dc9251fb 0000-0003-0351-3058 Manlio Valenti Manlio Valenti true false 2024-06-04 MACS Conference Paper/Proceeding/Abstract Twenty Years of Theoretical and Practical Synergies 14773 339 350 Springer Nature Switzerland Cham 9783031643088 9783031643095 0302-9743 1611-3349 Weihrauch reducibility; well quasi-orders; first-order part 2 7 2024 2024-07-02 10.1007/978-3-031-64309-5_27 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2024-07-03T14:56:45.6379104 2024-06-04T11:51:30.4769173 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Jun Le Goh 0000-0002-0487-7358 1 Arno Pauly 0000-0002-0173-3295 2 Manlio Valenti 0000-0003-0351-3058 3 66589__30536__afb68f04f91d462195313ee094b8d4ec.pdf cie.pdf 2024-06-04T11:53:53.8034094 Output 137775 application/pdf Accepted Manuscript true Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention). true eng https://creativecommons.org/licenses/by/4.0/deed.en
title	The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
spellingShingle	The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders Arno Pauly Manlio Valenti
title_short	The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
title_full	The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
title_fullStr	The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
title_full_unstemmed	The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
title_sort	The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
author_id_str_mv	17a56a78ec04e7fc47b7fe18394d7245 133b5d626ca91216041d4556dc9251fb
author_id_fullname_str_mv	17a56a78ec04e7fc47b7fe18394d7245_*_Arno Pauly 133b5d626ca91216041d4556dc9251fb_*_Manlio Valenti
author	Arno Pauly Manlio Valenti
author2	Jun Le Goh Arno Pauly Manlio Valenti
format	Conference Paper/Proceeding/Abstract
container_title	Twenty Years of Theoretical and Practical Synergies
container_volume	14773
container_start_page	339
publishDate	2024
institution	Swansea University
isbn	9783031643088 9783031643095
issn	0302-9743 1611-3349
doi_str_mv	10.1007/978-3-031-64309-5_27
publisher	Springer Nature Switzerland
college_str	Faculty of Science and Engineering
hierarchytype
hierarchy_top_id	facultyofscienceandengineering
hierarchy_top_title	Faculty of Science and Engineering
hierarchy_parent_id	facultyofscienceandengineering
hierarchy_parent_title	Faculty of Science and Engineering
department_str	School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str	1
active_str	0
published_date	2024-07-02T14:56:44Z
_version_	1803566453242200064
score	11.01409

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

Similar Items