Please wait a minute...
北京大学期刊网 | 作者  审稿人  编委专家  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
研究论文
The Solution of Scholz's Problem
The Solution of Scholz's Problem

莫绍揆
Mo Shaokui

(Nanjing University

收稿日期: 1986-09-25
出版日期: 1986-07-15

34
浏览

引用导出
0
    /   /   推荐

摘要  Def. The natural n is called a satisfiable number of a(in first order logic)formula α if α has a model of cardinality n. Def.The set M is called a finite spectrum if M is the set of all the satis-fiable numbers of a certain formula of first order logic.
No related articles found!
Viewed
Full text


Abstract

Cited

首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2017 北京大学图书馆 .