摘要
An equivalent description of saturated models is given, and some properties of countable saturated models, almost saturated models and full models are discussed. New proofs of two important theorems of the related documents are provided.
An equivalent description of saturated models is given, and some properties of countable saturated models, almost saturated models and full models are discussed. New proofs of two important theorems of the related documents are provided.
基金
theNationalNaturalScienceFoundationofChina (No .195 710 0 9)