No Cover Image

Journal article 635 views

FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS

Manlio Valenti Orcid Logo, JUN LE GOH, Arno Pauly Orcid Logo, MANLIO VALENTI

The Journal of Symbolic Logic, Volume: 86, Issue: 2, Pages: 817 - 854

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

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
first_indexed 2021-08-17T10:37:57Z
last_indexed 2021-12-02T04:14:40Z
id cronfa57509
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2021-12-01T10:48:38.1432805</datestamp><bib-version>v2</bib-version><id>57509</id><entry>2021-08-04</entry><title>FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS</title><swanseaauthors><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><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></swanseaauthors><date>2021-08-04</date><deptcode>MACS</deptcode><abstract/><type>Journal Article</type><journal>The Journal of Symbolic Logic</journal><volume>86</volume><journalNumber>2</journalNumber><paginationStart>817</paginationStart><paginationEnd>854</paginationEnd><publisher>Cambridge University Press (CUP)</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0022-4812</issnPrint><issnElectronic>1943-5886</issnElectronic><keywords>Weihrauch reducibility; computable analysis; well-quasiorders; reverse mathematics</keywords><publishedDay>1</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-06-01</publishedDate><doi>10.1017/jsl.2021.15</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/><lastEdited>2021-12-01T10:48:38.1432805</lastEdited><Created>2021-08-04T00:01:01.8830008</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>Manlio</firstname><surname>Valenti</surname><orcid>0000-0003-0351-3058</orcid><order>1</order></author><author><firstname>JUN LE</firstname><surname>GOH</surname><order>2</order></author><author><firstname>Arno</firstname><surname>Pauly</surname><orcid>0000-0002-0173-3295</orcid><order>3</order></author><author><firstname>MANLIO</firstname><surname>VALENTI</surname><order>4</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2021-12-01T10:48:38.1432805 v2 57509 2021-08-04 FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS 133b5d626ca91216041d4556dc9251fb 0000-0003-0351-3058 Manlio Valenti Manlio Valenti true false 17a56a78ec04e7fc47b7fe18394d7245 0000-0002-0173-3295 Arno Pauly Arno Pauly true false 2021-08-04 MACS Journal Article The Journal of Symbolic Logic 86 2 817 854 Cambridge University Press (CUP) 0022-4812 1943-5886 Weihrauch reducibility; computable analysis; well-quasiorders; reverse mathematics 1 6 2021 2021-06-01 10.1017/jsl.2021.15 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2021-12-01T10:48:38.1432805 2021-08-04T00:01:01.8830008 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Manlio Valenti 0000-0003-0351-3058 1 JUN LE GOH 2 Arno Pauly 0000-0002-0173-3295 3 MANLIO VALENTI 4
title FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
spellingShingle FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
Manlio Valenti
Arno Pauly
title_short FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_full FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_fullStr FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_full_unstemmed FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
title_sort FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
author_id_str_mv 133b5d626ca91216041d4556dc9251fb
17a56a78ec04e7fc47b7fe18394d7245
author_id_fullname_str_mv 133b5d626ca91216041d4556dc9251fb_***_Manlio Valenti
17a56a78ec04e7fc47b7fe18394d7245_***_Arno Pauly
author Manlio Valenti
Arno Pauly
author2 Manlio Valenti
JUN LE GOH
Arno Pauly
MANLIO VALENTI
format Journal article
container_title The Journal of Symbolic Logic
container_volume 86
container_issue 2
container_start_page 817
publishDate 2021
institution Swansea University
issn 0022-4812
1943-5886
doi_str_mv 10.1017/jsl.2021.15
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 2021-06-01T20:15:58Z
_version_ 1821437915309277184
score 11.047609

Similar Items