Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies
Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies
复制标题
通过 Lawvere-Tierney 拓扑的可计算性理论和逆向数学
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Takayuki Kihara
中科院分区：
文献类型：
--
作者：
Takehiro Hasegawa;Takashi Komatsu;Norio Konno;Hayato Saigo;Seiken Saito;Iwao Sato;Shingo Sugiyama;Takayuki Kihara
登录
查看更多内容
关于连续可约性诱导的（半）晶格
影响因子：
0.3
作者：
A. Pauly
通讯作者：
A. Pauly
非正式的构造性逆向数学
DOI：
--
发表时间：
2004
期刊：
--
影响因子：
--
作者：
H. Ishihara
通讯作者：
H. Ishihara
从集合和类型到拓扑和分析 - 迈向构造性数学的实用基础
DOI：
10.1093/acprof:oso/9780198566519.001.0001
发表时间：
2005
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Laura Crosilla;P. Schuster
通讯作者：
P. Schuster
影响因子：
0.6
作者：
Andrea Cantini;E. Casari;Pierluigi Minari
通讯作者：
Pierluigi Minari
构造性数学的种类：构造性代数
DOI：
--
发表时间：
1987
期刊：
影响因子：
--
作者：
D. Bridges;F. Richman
通讯作者：
F. Richman