格值模型的初等扩充和初等链

本文在文献1—3]的基础上证明了当值格适合某些条件时,格值模型理论中的强升降L-S-T定理,引进了初等子模型概念,用以推出Robinson模型完备理论的几个充分必要条件;本文还证明了“初等链定理”,并应用“初等链定理”证明了相应的Robinson和谐定理、Craig插值定理和几个“保持性定理”。