搜索筛选:
搜索耗时0.0497秒,为你在为你在61,042,058篇论文里面共找到 1 篇相符的论文内容
发布年度:
[学位论文] 作者：陆宏琨,
来源：西南大学 年份：2020
0-1律是有穷模型论的重要研究对象,它说的是:某些性质要么“几乎必然无效”,要么“几乎必然有效”。对后者,更进一步的研究是探索有穷结构上“几乎必然有效”的公式的模型论性质。一阶逻辑的0-1律由Glebskii和他的合作者们以及Fagin独立发现。此后,M.Kaufmann、......
相关搜索：
