Quotient topologies in constructive set theory and type theory
Quotient topologies in constructive set theory and type theory
复制标题
构造性集合论和类型论中的商拓扑
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Hajime Ishihara
中科院分区：
文献类型：
--
作者：
S.Hernandez;H.Miura;M.Beristain;T.Ogawa;T.Watanabe;S.Miyata;Hajime Ishihara
登录
查看更多内容
构造性集合论的类型论解释：归纳定义
DOI：
10.1016/s0049-237x(09)70683-4
发表时间：
1986
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
P. Aczel
通讯作者：
P. Aczel
逻辑、方法论和科学哲学
DOI：
10.2307/2183047
发表时间：
1963
期刊：
The Philosophical Review
影响因子：
--
作者：
M. Black;E. Nagel;P. Suppes;A. Tarski
通讯作者：
A. Tarski
游戏、逻辑和建构性集合
DOI：
--
发表时间：
2003
期刊：
--
影响因子：
--
作者：
G. Mints;R. Muskens
通讯作者：
R. Muskens
不可接近的设定轴子可能具有很小的一致性强度
DOI：
10.1016/s0168-0072(01)00083-5
发表时间：
2002
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Laura Crosilla;M. Rathjen
通讯作者：
M. Rathjen
构造性集合论的注释
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
P. Aczel;M. Rathjen
通讯作者：
M. Rathjen