摘要
建立了型的拓扑空间,并证明了该空间的一些基本性质。利用上述性质,进一步研究了模型个数问题。
The topological space of the types is established, and the basic properties of the topological space of the types are proved. Using the above properties, the problem of the number of the countable model is discussed.
出处
《科学技术与工程》
2004年第10期817-818,821,共3页
Science Technology and Engineering
基金
国家自然科学基金(10101008)资助
关键词
型
拓扑空间
可数模型
type topological space countable model
