量词可消去的线性序理论

量词消去法在模型论的证明中是应用很广的一种方法。本文主要讨论在语言L=<,{0}上的有首元但无末元的稠密线性序理论T和在语言L_0={<}上的无末元离散线性序理论T_0的量词可消去性,及其在扩充语言L_1=S,{<}下理论T0的量词消去性。