摘要
引进一介语言模型上的一种拓扑结构,给出这种拓扑结构的若干性质,讨论这种拓扑结构与模型的密不可分的性质,并且证明Hausdorff分离性可以用一介语言表述的充要条件,以及稳定理论的“子模型拓扑等于相应的子空间拓扑”这一性质.
Some topoloqical structure is defined on any model of first-order logic. Basic properties are investigated, and relations between topological structures and mod- els are discussed. Two main theorems are proved: (i) The Hausdorff seperate axiom can be expressed as first-order sertence in some theories; (ii) The topoloqies on submodels are equal to the topoloqies restricted to subspace in stable theories.
出处
《北京师范大学学报（自然科学版）》
CAS
CSCD
1993年第3期291-295,共5页
Journal of Beijing Normal University(Natural Science)
基金
国家教委博士点基金
关键词
模型论
稳定性理论
拓扑
model, type, stable theory, topology
