搜索结果: 1-2 共查到“数理逻辑与数学基础 Shelah-Spencer”相关记录2条 . 查询时间(0.28 秒)
Given a sequence {αn} in (0, 1) converging to a rational, we examine
the model theoretic properties of structures obtained as limits of ShelahSpencer
graphs G(m, m−αn ). We show that in most c...
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...