No Cover Image

Journal article 13 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!
Keywords: Weihrauch degrees; perfect set theorem; open and clopen determinacy; comparability of well-orders
College: College of Science
Issue: 3
Start Page: 1006
End Page: 1043