搜索结果: 1-1 共查到“知识库 公理集合论 almost sure theories”相关记录1条 . 查询时间(0.078 秒)
A simpler axiomatization of the Shelah-Spencer almost sure theories
Shelah-Spencer almost sure theories
2015/9/28
We give an explicit AE-axiomatization of the almost sure theories
of sparse random graphs G(n, n−α) of Shelah-Spencer. In the process
we give a method of constructing extensions of graphs whos...