中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

已选(0)清除 条数/页：   排序方式：
FACTORIALS OF INFINITE CARDINALS IN ZF PART II: CONSISTENCY RESULTS 期刊论文
JOURNAL OF SYMBOLIC LOGIC, 2020, 卷号: 85, 期号: 1, 页码: 244-270
作者:  Shen, Guozhen;  Yuan, Jiachen
收藏  |  浏览/下载：147/0  |  提交时间：2020/05/24
ZF  cardinal  factorial  permutation  permutation model  finite-to-one function  
FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS 期刊论文
JOURNAL OF SYMBOLIC LOGIC, 2020, 卷号: 85, 期号: 1, 页码: 224-243
作者:  Shen, Guozhen;  Yuan, Jiachen
收藏  |  浏览/下载：128/0  |  提交时间：2020/05/24
ZF  cardinal  factorial  permutation  finite-to-one function  Dedekind finite  
An algorithm for computing the factor ring of an ideal in Dedekind domain with finite rank 期刊论文
SCIENCE CHINA-MATHEMATICS, 2018, 卷号: 61, 期号: 5, 页码: 783-796
作者:  Huang, Dandan;  Deng, Yingpu
收藏  |  浏览/下载：144/0  |  提交时间：2018/07/30
deterministic polynomial-time test  Dedekind domains  basis representation  Hermite and Smith normal forms  
analgorithmforcomputingthefactorringofanidealinadedekinddomainwithfiniterank 期刊论文
sciencechinamathematics, 2018, 卷号: 61, 期号: 5, 页码: 783
作者:  Huang Dandan;  Deng Yingpu
收藏  |  浏览/下载：140/0  |  提交时间：2020/01/10