Journal article 109 views
THE WEAKNESS OF FINDING DESCENDING SEQUENCES IN ILL-FOUNDED LINEAR ORDERS
The Journal of Symbolic Logic, Pages: 1 - 37
Swansea University Authors:
Arno Pauly , Manlio Valenti
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1017/jsl.2025.10160
Abstract
THE WEAKNESS OF FINDING DESCENDING SEQUENCES IN ILL-FOUNDED LINEAR ORDERS
| Published in: | The Journal of Symbolic Logic |
|---|---|
| ISSN: | 0022-4812 1943-5886 |
| Published: |
Cambridge University Press (CUP)
2025
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa70799 |
| first_indexed |
2025-10-31T10:43:48Z |
|---|---|
| last_indexed |
2025-11-21T18:10:21Z |
| id |
cronfa70799 |
| recordtype |
SURis |
| fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2025-11-20T10:42:09.0792596</datestamp><bib-version>v2</bib-version><id>70799</id><entry>2025-10-31</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>2025-10-31</date><deptcode>MACS</deptcode><abstract/><type>Journal Article</type><journal>The Journal of Symbolic Logic</journal><volume>0</volume><journalNumber/><paginationStart>1</paginationStart><paginationEnd>37</paginationEnd><publisher>Cambridge University Press (CUP)</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0022-4812</issnPrint><issnElectronic>1943-5886</issnElectronic><keywords/><publishedDay>29</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2025</publishedYear><publishedDate>2025-10-29</publishedDate><doi>10.1017/jsl.2025.10160</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>SU Library paid the OA fee (TA Institutional Deal)</apcterm><funders/><projectreference/><lastEdited>2025-11-20T10:42:09.0792596</lastEdited><Created>2025-10-31T10:42:05.4855300</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/><OutputDurs/></rfc1807> |
| spelling |
2025-11-20T10:42:09.0792596 v2 70799 2025-10-31 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 2025-10-31 MACS Journal Article The Journal of Symbolic Logic 0 1 37 Cambridge University Press (CUP) 0022-4812 1943-5886 29 10 2025 2025-10-29 10.1017/jsl.2025.10160 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University SU Library paid the OA fee (TA Institutional Deal) 2025-11-20T10:42:09.0792596 2025-10-31T10:42:05.4855300 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 |
| 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 |
Journal article |
| container_title |
The Journal of Symbolic Logic |
| container_volume |
0 |
| container_start_page |
1 |
| publishDate |
2025 |
| institution |
Swansea University |
| issn |
0022-4812 1943-5886 |
| doi_str_mv |
10.1017/jsl.2025.10160 |
| publisher |
Cambridge University Press (CUP) |
| 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 |
0 |
| active_str |
0 |
| published_date |
2025-10-29T05:31:43Z |
| _version_ |
1851098088269152256 |
| score |
11.089386 |

