No Cover Image

Journal article 12 views

SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE / TAKAYUKI KIHARA, ALBERTO MARCONE, Arno Pauly

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

Swansea University Author: Arno Pauly

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">College of Science</level><level id="2">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><action/><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 College of 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 College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
document_store_str 1
active_str 0
published_date 2020-09-01T04:22:43Z
_version_ 1714107358779539456
score 10.83046