SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
复制标题
在 WEIHRAUCH 晶格中寻找 ATR0 的类似物
DOI：
10.1017/jsl.2020.12
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
A. Pauly
中科院分区：
文献类型：
--
作者：
Takayuki Kihara;Alberto Marcone;A. Pauly
Weihrauch格与逆数学中的公理系统有密切的相似之处。根据这些相似性，研究人员通常可以将结果从一种设置转换到另一种设置。然而，在逆向数学的五大公理系统中，到目前为止
Abstract There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far
$\mathrm {ATR}_0$
has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.
通过 Lawvere-Tierney 拓扑的可计算性理论和逆向数学
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Takehiro Hasegawa;Takashi Komatsu;Norio Konno;Hayato Saigo;Seiken Saito;Iwao Sato;Shingo Sugiyama;Takayuki Kihara
通讯作者：
Takayuki Kihara
某些三阶原理的 Weihrauch 可还原性
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
Hiroki Tsutsui;Naoki Yanagisawa;Yuu Sawai;Shuka Ikematsu;Hideyuki Arata;Tetsuya Higashiyama;Michitaka Notaguchi;浦 鐘月 清水 優樹;Takayuki Kihara
通讯作者：
Takayuki Kihara