No Cover Image

Journal article 554 views 102 downloads

SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE

TAKAYUKI KIHARA, ALBERTO MARCONE, Arno Pauly Orcid Logo

The Journal of Symbolic Logic, Volume: 85, Issue: 3, Pages: 1006 - 1043

Swansea University Author: Arno Pauly Orcid Logo

Check full text

DOI (Published version): 10.1017/jsl.2020.12

Published in: The Journal of Symbolic Logic
ISSN: 0022-4812 1943-5886
Published: Cambridge University Press (CUP) 2020
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa57508
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2021-08-16T15:15:54Z
last_indexed 2021-09-11T03:20:23Z
id cronfa57508
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2021-09-10T15:50:05.3678888</datestamp><bib-version>v2</bib-version><id>57508</id><entry>2021-08-03</entry><title>SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE</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></swanseaauthors><date>2021-08-03</date><deptcode>SCS</deptcode><abstract/><type>Journal Article</type><journal>The Journal of Symbolic Logic</journal><volume>85</volume><journalNumber>3</journalNumber><paginationStart>1006</paginationStart><paginationEnd>1043</paginationEnd><publisher>Cambridge University Press (CUP)</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0022-4812</issnPrint><issnElectronic>1943-5886</issnElectronic><keywords>Weihrauch degrees; perfect set theorem; open and clopen determinacy; comparability of well-orders</keywords><publishedDay>1</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2020</publishedYear><publishedDate>2020-09-01</publishedDate><doi>10.1017/jsl.2020.12</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2021-09-10T15:50:05.3678888</lastEdited><Created>2021-08-03T23:58:56.1405352</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>TAKAYUKI</firstname><surname>KIHARA</surname><order>1</order></author><author><firstname>ALBERTO</firstname><surname>MARCONE</surname><order>2</order></author><author><firstname>Arno</firstname><surname>Pauly</surname><orcid>0000-0002-0173-3295</orcid><order>3</order></author></authors><documents><document><filename>57508__20640__aa86fca2ec94440687dfecf6eebc5df6.pdf</filename><originalFilename>2020-atr0.pdf</originalFilename><uploaded>2021-08-16T16:15:41.4791723</uploaded><type>Output</type><contentLength>732518</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2021-09-10T15:50:05.3678888 v2 57508 2021-08-03 SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE 17a56a78ec04e7fc47b7fe18394d7245 0000-0002-0173-3295 Arno Pauly Arno Pauly true false 2021-08-03 SCS Journal Article The Journal of Symbolic Logic 85 3 1006 1043 Cambridge University Press (CUP) 0022-4812 1943-5886 Weihrauch degrees; perfect set theorem; open and clopen determinacy; comparability of well-orders 1 9 2020 2020-09-01 10.1017/jsl.2020.12 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2021-09-10T15:50:05.3678888 2021-08-03T23:58:56.1405352 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science TAKAYUKI KIHARA 1 ALBERTO MARCONE 2 Arno Pauly 0000-0002-0173-3295 3 57508__20640__aa86fca2ec94440687dfecf6eebc5df6.pdf 2020-atr0.pdf 2021-08-16T16:15:41.4791723 Output 732518 application/pdf Accepted Manuscript true true eng
title SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
spellingShingle SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
Arno Pauly
title_short SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
title_full SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
title_fullStr SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
title_full_unstemmed SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
title_sort SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
author_id_str_mv 17a56a78ec04e7fc47b7fe18394d7245
author_id_fullname_str_mv 17a56a78ec04e7fc47b7fe18394d7245_***_Arno Pauly
author Arno Pauly
author2 TAKAYUKI KIHARA
ALBERTO MARCONE
Arno Pauly
format Journal article
container_title The Journal of Symbolic Logic
container_volume 85
container_issue 3
container_start_page 1006
publishDate 2020
institution Swansea University
issn 0022-4812
1943-5886
doi_str_mv 10.1017/jsl.2020.12
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 1
active_str 0
published_date 2020-09-01T04:13:18Z
_version_ 1763753903835316224
score 11.013641

Similar Items