No Cover Image

Journal article 696 views 122 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
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>MACS</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>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</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 MACS 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 Mathematics and Computer Science School COLLEGE CODE MACS 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-01T14:11:55Z
_version_ 1821415010648195072
score 11.247077

Similar Items