论文部分内容阅读
本文首先回顾了模上实赋值的概念，并且建立了几个与实赋值有关的结果。然后引进了模上赋值与高层序的融洽和相容等概念，由此研究模上赋值与高层序之间的密切关系。研究的结果表明，模上赋值与高层序之间的融洽和相容并不等价，这有别于模上赋值与普通序(即一层序)。此外，本文证明了模上的一个赋值为实赋值，当且仅当它与模上的某个高层序相容。