_（ω_1ω）的一个子逻辑系统及其特征

A LOGICAL SUBSYSTEM OF AND ITS CHARACTERIZATION

给出了的一个子逻辑系统，并在其上初步讨论了一些重要的模型论性质，给出了的一个特征。主要结果是：如果是一强于的可有限分离的正规逻辑系统，且在上ＬＳＴ定理和ω_１－紧致性定理成立，则与等价。

Define a logical subsystem of discuss some important model-theoretic properties on it and finally give a characteraization of it.The main result is:For a finite-separable regular logical system which is stronger than if LST theorem and ω_1 compactness theorem hold on it,then.