A lightface analysis of the differentiability rank
type: Item
instance of: scholarly article
zbMATH Open document ID: 1338.03089
publication date: 2014-09-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/1302.2975
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 03D78
Mathematics Subject Classification ID: 03E15
zbMATH DE Number: 6349659
zbMATH Keywords: differentiability
zbMATH Keywords: hyperarithmetical hierarchy
zbMATH Keywords: rank function
zbMATH Keywords: computable analysis
zbMATH Keywords: effective descriptive set theory
author: Linda Brown Westrick
MaRDI profile type: Publication
OpenAlex ID: W2963345040
arXiv ID: 1302.2975
cites work: Hyperarithmetical Index Sets in Recursion Theory
cites work: Ranks of differentiable functions
cites work: On the Denjoy rank, the Kechris-Woodin rank and the Zalcwasser rank
cites work: A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
cites work: The Slaman-Wehner theorem in higher recursion theory
cites work: Index sets for computable differential equations
cites work: Computable structures and the hyperarithmetical hierarchy
cites work: Q3395521
cites work: On the definitions of computable real continuous functions
DOI: 10.1017/JSL.2013.23
title: A lightface analysis of the differentiability rank
published in: The Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6349659