$\ell^p$的可计算拷贝的等距度
逻辑
2019-04-30 v4
摘要
当是一个可计算实数且满足时，的可计算拷贝的等距度定义为计算从到的线性等距映射的最弱图灵度。我们证明该度总是存在，并且当时这些度恰好是c.e.度。
引用
@article{arxiv.1605.00641,
title = {The isometry degree of a computable copy of $\ell^p$},
author = {Timothy H. McNicholl and D. M. Stull},
journal= {arXiv preprint arXiv:1605.00641},
year = {2019}
}